FPSG-UIUC / synthCTLinks
Repository for synthCT framework (NDSS'22)
☆10Updated 2 years ago
Alternatives and similar repositories for synthCT
Users that are interested in synthCT are comparing it to the libraries listed below
Sorting:
- Program synthesis tools and utilities for LLVM.☆20Updated last year
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆23Updated 6 months ago
- ☆12Updated 4 years ago
- Concolic Execution Fuzzer☆24Updated 3 years ago
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆33Updated 4 months ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 6 years ago
- Vine: The BitBlaze Static Analysis Component☆25Updated 10 years ago
- Dynamic Control Flow Recovery☆24Updated 7 years ago
- TracerX Symbolic Virtual Machine☆33Updated last week
- Tutorial for Building Program Reasoning Tools using LLVM and Z3☆19Updated 5 years ago
- oo7, a binary analysis tool to defend against Spectre vulnerabilities☆32Updated 4 years ago
- Experimental translation of llvm to smt.☆56Updated 5 years ago
- ☆12Updated 2 years ago
- print information from LLVM dataflow analyses☆13Updated 5 years ago
- A testcase generation tool for Persistent Memory Programs.☆15Updated 3 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆17Updated 2 years ago
- BigMap integration on AFL++☆15Updated 4 years ago
- Scalable Validator for Binary Lifters☆56Updated 4 years ago
- AIL: The angr Intermediate Language.☆32Updated this week
- ☆10Updated 4 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- A framework for control-flow recovery in binary programs.☆10Updated 6 years ago
- ☆17Updated last year
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆37Updated 5 years ago
- An approximate solver for concolic execution☆18Updated last month
- Sys, but no longer in Haskell☆18Updated 3 years ago
- Synthesis of loop-free programs☆16Updated this week
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆17Updated last year
- ☆9Updated 3 years ago
- Tutorial to write qemu plugins☆33Updated 7 years ago