PolySync / static-analysis-argumentation
Argumentation around the efficacy of static analysis tooling for C and the Rust compiler in catching software errors pre-runtime.
☆11Updated 5 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
- Generation of mutant programs☆20Updated 6 years ago
- Building seL4 and generating Rust bindings based on feL4 configuration☆21Updated 6 years ago
- Bring mdb walkers to gdb, also add other helpful commands.☆34Updated 3 months ago
- Rdr is a cross-platform binary analysis and reverse engineering library, utilizing a unique symbol map for global analysis.☆84Updated 2 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- Numerical snippets & tests☆12Updated 5 months ago
- Flashing and querying with System76 Embedded Controllers☆21Updated last month
- This book has been moved to https://github.com/rust-embedded/embedonomicon☆22Updated 6 years ago
- Converts an ELF binary to a JSON representation☆35Updated 9 years ago
- Jit + Rust + Memory☆19Updated 10 years ago
- low-level Capstone system bindings for Rust☆13Updated 6 years ago
- Dynamic packet parsing within trees 🌲🌳🌴☆24Updated 7 years ago
- A proof-of-concept IEC 61131-3 Compiler.☆16Updated 5 years ago
- Ironclad C++ brings type-safety to C++. It provides safe alternatives to unsafe constructs in C++ to prevent type-safety errors that lea…☆18Updated last year
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆28Updated 4 months ago
- Converts ELF, mach-o, or PE binaries to a JSON representation☆32Updated 9 years ago
- The Rumprun unikernel and toolchain for various platforms☆10Updated 10 months ago
- Sort-of GNU C99 Declaration Parser☆11Updated 5 years ago
- DExTer - Debug Experience Tester☆33Updated 3 years ago
- Cooperative multitasking (AKA async/await) on ARM Cortex-M☆38Updated 5 years ago
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆32Updated 7 years ago
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- Linux kernel library functions formally verified.☆52Updated 4 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Quick experiment to see how expensive safety is in C, for research☆12Updated 6 years ago
- A (GCC) compiler plugin for multiversing functions☆20Updated 2 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆31Updated 3 months ago
- Tool to create Tock Application Bundles from ELF files.☆16Updated last month
- simple static source code analysis tool for C code, with user-definable properties☆26Updated 10 months ago
- ☆19Updated 5 years ago