Alternatives and similar repositories for overleaf

Users that are interested in overleaf are comparing it to the libraries listed below

• twd2 / dhop
  Discover Heap OPeration
  ☆9Updated 6 years ago
• PLSysSec / pitchfork-angr
  ☆12Updated 5 years ago
• GoSSIP-SJTU / k-hunt
  K-Hunt: Pinpointing Insecure Crypto Keys
  ☆44Updated 6 years ago
• shwetasshinde24 / BesFS
  A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
  ☆17Updated 5 years ago
• CRYPTOlab / kint
  git://g.csail.mit.edu/kint
  ☆49Updated 11 years ago
• hasanmdme / decap
  This tool set can generate required capabilities for binaries. A system call to capability mapping is used to assign capability to the bi…
  ☆14Updated 2 years ago
• SVF-tools / SUPA
  SUPA
  ☆28Updated 5 years ago
• ycdxsb / ast-interpreter
  AST interpreter with clang 5.0.0 and llvm 5.0.0
  ☆14Updated 5 years ago
• DependableSystemsLab / pinfi
  PIN-based Fault-Injector is a fault injector based on the Intel PIN tool. For more information, please refer to the following paper:
  ☆16Updated 6 years ago
• monkey2000 / LPi4A-Case
  A 3d printed case design for Lichee Pi 4A
  ☆12Updated 2 years ago
• vul337 / EnclaveFuzz
  Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"
  ☆24Updated 3 weeks ago
• mxz297 / dyninst-tools
  A collection of command-line tools based on Dyninst
  ☆17Updated 4 years ago
• vul337 / cfi-eval
  ☆22Updated 4 years ago
• vusec / kmvx
  kMVX: Detecting Kernel Information Leaks with Multi-variant Execution
  ☆22Updated 5 years ago
• Huawei / Huawei_CCA_QEMU
  ARM CCA support for QEMU. Check wiki for instructions. https://github.com/Huawei/Huawei_CCA_RMM/wiki
  ☆24Updated 2 years ago
• xhding-smu / OASIS
  Onsite Analysis Infrastructure
  ☆16Updated 4 years ago
• tl455047 / DTaint
  Dtaint: taint analysis based on DFSan and llvm instrumentation
  ☆28Updated 3 years ago
• securesystemslab / PKRU-Safe
  ☆20Updated 3 years ago
• ZJU-SEC / Readings
  ☆61Updated 2 years ago
• vusec / blindside
  ☆36Updated 4 years ago
• trusslab / charm
  ☆20Updated 6 years ago
• AFLplusplus / qemuafl
  This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.
  ☆83Updated last month
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆20Updated 5 years ago
• umnsec / typm
  ☆33Updated 2 years ago
• HexHive / mitiGate
  Benchmark to test different stop the exploit mitigations
  ☆18Updated 6 years ago
• 55-AA / mod_equations
  单模多元线性方程组的通用解法，及其在密码分析中的应用。
  ☆32Updated 8 years ago
• feruxmax / meltdown
  Meltdown/Spectre experiments
  ☆53Updated 7 years ago
• ksplit / ksplit-artifacts
  Artifacts for the paper "KSplit: Automating Device Driver Isolation"
  ☆11Updated 3 years ago
• winter2020 / kleespectre
  KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling
  ☆34Updated 5 years ago
• SoftSec-KAIST / SURI
  Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)
  ☆14Updated 2 months ago