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:
- An 'origin' command that continue to the origin of a piece of data in rr☆46Updated 7 years ago
- Line-based testcase reducer☆99Updated 6 months ago
- A framework for instrumenting build tools☆89Updated 3 weeks ago
- Visualize IonMonkey CFGs using GraphViz.☆34Updated 5 years ago
- Safer integers in C++.☆189Updated 3 years ago
- The Cloud9 main repository☆52Updated 12 years ago
- KLEE in the browser☆52Updated 2 months ago
- A forked and hardened version of PartitionAlloc from Chrome's Blink engine☆63Updated 7 years ago
- Automatically spawn gdb on error.☆66Updated 3 years ago
- dthreads: Efficient Deterministic Multithreading☆52Updated 10 years ago
- Rewrite C/C++/Obj-C to Annotate Points of Interest☆27Updated 9 years ago
- Security-Oriented Analysis of Application Programs☆13Updated 6 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
- Oink is a collaboration of C++ static analysis tools.☆155Updated 2 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆65Updated 5 years ago
- estimate peak virtual memory use☆18Updated 5 months ago
- An automatic generator of basic unit tests for a C/C++ library☆86Updated 5 years ago
- pahole implementation for gdb☆43Updated 3 years ago
- Synthesizer for JavaScript API models☆18Updated 2 years ago
- Dynamic function binding in C !!!☆27Updated 5 years ago
- A New, Evolutive API and Transport-Layer Architecture for the Internet☆68Updated last week
- Python wrapper for the Clang C++ preprocessor and parser.☆128Updated 11 years ago
- Alive: Automatic LLVM's Instcombine Verifier☆220Updated 2 years ago
- Stand-alone WebIDL Parser in Python☆31Updated 2 months ago
- Presentations, Videos, and Sample Source from Austin LLVM Meetups☆11Updated 5 years ago
- Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations☆37Updated 6 years ago
- A practical interface generator for data formats.☆128Updated 5 years ago
- ☆113Updated last year
- A deterministic, fuzzable pthread implementation☆42Updated 2 years ago
- Code coverage reporting tool☆51Updated 8 years ago