SRI-CSL / gllvmLinks
Whole Program LLVM: wllvm ported to go
☆316Updated last year
Alternatives and similar repositories for gllvm
Users that are interested in gllvm are comparing it to the libraries listed below
Sorting:
- A wrapper script to build whole-program LLVM bitcode files☆713Updated 6 months ago
- A toolkit for building whole-program LLVM bitcode files☆77Updated 3 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆165Updated last year
- SymCC: efficient compiler-based symbolic execution☆817Updated last month
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆281Updated last year
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆245Updated 8 months ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆144Updated 4 months ago
- A high performance LLVM-based dynamic binary instrumentation framework☆265Updated last year
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆476Updated 6 months ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆326Updated 3 weeks ago
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆221Updated 6 years ago
- A LLVM-based static analysis framework.☆988Updated this week
- A LLVM Sanitizer for Symbolic Tracing☆222Updated last week
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆228Updated 3 years ago
- SymQEMU: Compilation-based symbolic execution for binaries☆348Updated last month
- Static Analysis Course☆71Updated this week
- Yet Another Random Program Generator☆514Updated last month
- [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.☆507Updated last month
- Recent symbolic execution papers and tools.☆167Updated last month
- ☆52Updated 2 years ago
- VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choo…☆420Updated 2 months ago
- Lift machine code to performant LLVM IR☆436Updated last year
- Intermediate Representation for Binary analysis and transformation☆339Updated last month
- llvm-mctoll☆852Updated last year
- clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…☆271Updated 3 years ago
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆312Updated 3 weeks ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆352Updated 9 months ago
- An awesome & curated list of binary rewriting papers☆240Updated 3 years ago
- Dynamic Program Slicing in LLVM Compiler☆139Updated 6 years ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆96Updated last year