lac-dcc / Angha
Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.
☆22Updated last year
Related projects ⓘ
Alternatives and complementary repositories for Angha
- A framework to analyze a space formed by the combination of program encodings, obfuscation passes and stochastic classification models.☆30Updated last year
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆111Updated 6 months ago
- Tutorial for Building Program Reasoning Tools using LLVM and Z3☆19Updated 4 years ago
- A tool to eliminate timing-based side channels☆48Updated last year
- A Hybrid Alias Analysis☆18Updated last year
- Slicing tool for c++ programs using clang AST.☆18Updated 3 years ago
- Static range analysis for the LLVM compiler infrastructure.☆55Updated 5 years ago
- ☆16Updated last year
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Updated 3 years ago
- SUPA☆28Updated 4 years ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆28Updated 3 years ago
- Configurable instrumentation of LLVM bitcode☆33Updated 11 months ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆13Updated 2 years ago
- TracerX Symbolic Virtual Machine☆31Updated this week
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆32Updated 4 years ago
- A security-oriented static binary analysis tool for comparing the quantity and quality of code reuse gadget sets in program variants.☆17Updated last year
- Juliet C/C++ Dynamic Test Suite☆27Updated last year
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆14Updated 2 months ago
- Symbolic Program Slicing with LLVM☆76Updated 4 years ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…☆12Updated 6 years ago
- A symbolic execution engine for LLVM IR☆34Updated 2 years ago
- A suite of experiments for evaluating open-source binary taint trackers.☆32Updated 2 years ago
- A collection of command-line tools based on Dyninst☆16Updated 3 years ago
- JIGSAW is a fuzzing-based path constraint solver.☆68Updated 5 months ago
- ☆17Updated 5 years ago
- Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries with options for generatin…☆37Updated last year
- An approximate solver for concolic execution☆17Updated 2 years ago
- Collection of executable benchmarks☆43Updated 11 months ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆54Updated 7 months ago