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☆21Updated 6 years ago
- This book has been moved to https://github.com/rust-embedded/embedonomicon☆22Updated 6 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
- Building seL4 and generating Rust bindings based on feL4 configuration☆21Updated 6 years ago
- Cooperative multitasking (AKA async/await) on ARM Cortex-M☆38Updated 5 years ago
- BSD-licensed CTF Implementation☆20Updated 9 years ago
- Quick experiment to see how expensive safety is in C, for research☆12Updated 5 years ago
- A binary serialisation format inspired by YAML, MessagePack and nvlists.☆32Updated 4 years ago
- Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer☆27Updated 7 years ago
- Fast time calls from user space.☆11Updated 9 years ago
- Reverse-COBS encoding☆14Updated 3 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
- Semihosting for ARM Cortex-M processors☆40Updated 4 years ago
- Converts an ELF binary to a JSON representation☆35Updated 9 years ago
- Tool to create Tock Application Bundles from ELF files.☆16Updated 2 weeks ago
- Scripting Assembly Language☆12Updated 9 years ago
- Sort-of GNU C99 Declaration Parser☆11Updated 5 years ago
- Numerical snippets & tests☆12Updated 4 months ago
- Dictionary implemented through a skiplist☆15Updated 10 years ago
- Hound memory leak detector☆12Updated 6 years ago
- ☆17Updated 3 years ago
- Linux kernel library functions formally verified.☆52Updated 4 years ago
- An 'origin' command that continue to the origin of a piece of data in rr☆47Updated 6 years ago
- A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries☆49Updated 3 weeks ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- lttng-ust bindings for Rust☆12Updated 10 months ago
- Safely privileged daemon to let userspace wait on global barriers with low, constant overhead☆17Updated 5 years ago
- Rewrite C/C++/Obj-C to Annotate Points of Interest☆27Updated 9 years ago
- DExTer - Debug Experience Tester☆33Updated 3 years ago
- mutator is an experimental suite of tools aimed at analysis and automation of C/C++ code development☆77Updated 3 years ago