Pernosco / pernoscoLinks
General-purpose public wiki and issue tracking
☆14Updated 7 years ago
Alternatives and similar repositories for pernosco
Users that are interested in pernosco are comparing it to the libraries listed below
Sorting:
- Synthesizer for JavaScript API models☆17Updated 2 years ago
- ☆113Updated last year
- An 'origin' command that continue to the origin of a piece of data in rr☆46Updated 7 years ago
- A New, Evolutive API and Transport-Layer Architecture for the Internet☆68Updated last week
- Dump ABI of an ELF object containing DWARF debug info☆199Updated 10 months ago
- With this tool, projects can be compiled easily for fuzzing with AFL or for static code analysis with tools like CBMC. One-line-scan hook…☆21Updated 2 years ago
- Security-Oriented Analysis of Application Programs☆13Updated 6 years ago
- KLEE in the browser☆52Updated 2 weeks ago
- Oink is a collaboration of C++ static analysis tools.☆156Updated 3 years ago
- The Cloud9 main repository☆52Updated 12 years ago
- Safer integers in C++.☆188Updated 4 years ago
- Line-based testcase reducer☆100Updated 8 months ago
- Interchange format for results for static analysis tools☆63Updated last year
- Picon☆39Updated 8 years ago
- Integer arithmetic with overflow detection☆72Updated 10 years ago
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆29Updated 2 weeks ago
- This repo is a mirror of the official lttng-ust git found at git://git.lttng.org/lttng-ust.git. LTTng-UST, the Linux Trace Toolkit Next G …☆138Updated last week
- An interactive (fast) static source code analyzer☆178Updated 2 weeks ago
- mirror of git://git.kernel.org/pub/scm/devel/sparse/sparse.git☆34Updated last year
- pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source…☆183Updated 2 years ago
- GDB helper scripts☆47Updated 5 years ago
- Alive: Automatic LLVM's Instcombine Verifier☆222Updated 2 years ago
- Root Repo for the RLBox Sandboxing Library Research prototype. Note: this is the original research prototype for this library. For the pr…☆24Updated 2 years ago
- A forked and hardened version of PartitionAlloc from Chrome's Blink engine☆65Updated 7 years ago
- Visualize IonMonkey CFGs using GraphViz.☆49Updated 5 years ago
- Extensions for Eli Bendersky's pycparser☆91Updated last week
- pahole implementation for gdb☆43Updated 3 years ago
- An automatic generator of basic unit tests for a C/C++ library☆86Updated 5 years ago
- estimate peak virtual memory use☆18Updated 8 months ago
- Automatically spawn gdb on error.☆69Updated 3 years ago