bstarynk / bismon
persistent monitor (for static source code analysis, GCC based)
☆59Updated 10 months ago
Alternatives and similar repositories for bismon:
Users that are interested in bismon are comparing it to the libraries listed below
- Small Fast S-Expression Library☆75Updated 3 months ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 6 months ago
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 3 years ago
- An interactive development environment for SMT-LIB files and Z3☆24Updated 2 years ago
- ☆34Updated 4 years ago
- A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries☆49Updated last week
- Binary tools: assembler, disassembler, linker, library manager, emulator☆60Updated 2 months ago
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆30Updated 3 years ago
- Implementation of delimited control for C/C++☆26Updated 13 years ago
- GDB helper scripts☆45Updated 4 years ago
- another lisp library to generate c/c++ code. this one is supposed to be very simple. note that development of this repo has stopped. i am…☆65Updated 4 years ago
- ALLVM Tools☆56Updated 3 years ago
- Resolve software differencing and merging☆37Updated 2 years ago
- Generate formatted C++ from Racket S-expressions☆36Updated 9 years ago
- A Tree Parser Generator☆95Updated 5 months ago
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆193Updated 9 months ago
- Continuation Passing C☆112Updated 5 years ago
- A Lisp-like language implemented in C++☆75Updated 2 years ago
- Functional-programming macros for the C preprocessor.☆63Updated 10 years ago
- Commit patches to Darcs, Git, Mercurial, Bazaar, Monotone, Subversion, or CVS☆21Updated last year
- Bottom Up Rewrite Generator☆25Updated 7 years ago
- Abusing the C99 preprocessor for meta-programming☆20Updated 7 years ago
- A PEG that compiles itself.☆75Updated 14 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- Unofficial libjit mirror.☆61Updated 4 years ago
- Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis☆13Updated 10 years ago
- The Pascal-F Verifier☆48Updated 7 years ago
- Official home of the TclX extension for Tcl☆31Updated last year
- Marpa parse engine C library -- STABLE☆98Updated last year
- A virtual machine for Monte.☆69Updated 11 months ago