PolySync / static-analysis-argumentationLinks
Argumentation around the efficacy of static analysis tooling for C and the Rust compiler in catching software errors pre-runtime.
☆11Updated 6 years ago
Alternatives and similar repositories for static-analysis-argumentation
Users that are interested in static-analysis-argumentation are comparing it to the libraries listed below
Sorting:
- Generation of mutant programs☆20Updated 6 years ago
- A library for binary analysis and rewriting☆47Updated last year
- Linux kernel library functions formally verified.☆52Updated 4 years ago
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆29Updated 3 weeks ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- ☆19Updated 8 years ago
- Flashing and querying with System76 Embedded Controllers☆21Updated 3 months ago
- An implementation of Tarjan's Strongly Connected Components algorithm☆13Updated 5 years ago
- A library for disassembling x86-64 binaries.☆41Updated 2 months ago
- Isabelle LLVM Code Generator and Refinement☆28Updated 3 months ago
- Bring mdb walkers to gdb, also add other helpful commands.☆34Updated 4 months ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- low-level Capstone system bindings for Rust☆13Updated 6 years ago
- Docker container for an OCaml + OPAM setup☆24Updated 8 years ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Updated 7 years ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆26Updated 2 years ago
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆32Updated 7 years ago
- Rdr is a cross-platform binary analysis and reverse engineering library, utilizing a unique symbol map for global analysis.☆84Updated 2 years ago
- Quick experiment to see how expensive safety is in C, for research☆12Updated 6 years ago
- KITTeL/KoAT☆21Updated 6 years ago
- Parser for the llvm bitcode format☆59Updated this week
- SWORD: A Whole Program Race Detector for Java☆13Updated 4 years ago
- Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…☆25Updated 6 years ago
- Ocamlgraph overlay for llvm☆21Updated 10 years ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 8 years ago
- Peek/Poke like it's 1979 - Multi-Platform memory reading/writing☆12Updated 6 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries☆50Updated 3 months ago
- Building seL4 and generating Rust bindings based on feL4 configuration☆21Updated 7 years ago
- link a linux ELF .so library into memory with python and call functions in it, even if you're not on linux☆10Updated 5 years ago