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
- Safer integers in C++.☆188Updated 4 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
- An 'origin' command that continue to the origin of a piece of data in rr☆47Updated 7 years ago
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆31Updated last week
- RLBox sandboxing framework☆318Updated last month
- Rewrite C/C++/Obj-C to Annotate Points of Interest☆27Updated 9 years ago
- The Cloud9 main repository☆54Updated 12 years ago
- A framework for instrumenting build tools☆90Updated 3 weeks ago
- An interactive (fast) static source code analyzer☆183Updated last month
- A bunch of scripts to scrape symbols from Linux distributions☆21Updated last week
- A forked and hardened version of PartitionAlloc from Chrome's Blink engine☆66Updated 7 years ago
- Visualize IonMonkey CFGs using GraphViz.☆51Updated 6 years ago
- KLEE in the browser☆54Updated 3 weeks ago
- Dump ABI of an ELF object containing DWARF debug info☆202Updated last year
- libdtrace-ctf is the Compact Type Format library used by DTrace on Linux☆48Updated 2 years ago
- Fork of LLVM with modifications to support a program repository☆25Updated 3 years 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 3 years ago
- Extensions for Eli Bendersky's pycparser☆91Updated 2 months ago
- nodejs bindings for libclang☆54Updated 5 years ago
- Security-Oriented Analysis of Application Programs☆13Updated 7 years ago
- Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.☆55Updated last year
- Automatically spawn gdb on error.☆69Updated 3 years ago
- mirror of git://git.kernel.org/pub/scm/devel/sparse/sparse.git☆34Updated 2 years ago
- Markup source code showing optimizations☆36Updated 6 years ago
- Ninja build file generator for the Linux kernel☆56Updated 5 years ago
- pahole implementation for gdb☆43Updated 4 years ago
- estimate peak virtual memory use☆18Updated 10 months ago
- Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751☆72Updated 2 years ago
- Oink is a collaboration of C++ static analysis tools.☆156Updated 3 years ago