fred-dbg / fredLinks
☆21Updated 10 years ago
Alternatives and similar repositories for fred
Users that are interested in fred are comparing it to the libraries listed below
Sorting:
- C++11 library for many-sorted logics☆39Updated 8 years ago
- Rewrite C/C++/Obj-C to Annotate Points of Interest☆27Updated 9 years ago
- Automatically exported from code.google.com/p/anic☆6Updated 10 years ago
- I-cache line packing and branch misprediction measuring tool☆18Updated 8 years ago
- RLU resizable hash-table☆17Updated 9 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- A compiler and mutation testing framework for the programming language Pascal-86☆20Updated 10 years ago
- Turn an interpreter into a code generator☆31Updated 9 years ago
- Software Transactional Objects☆20Updated 7 years ago
- Peek/Poke like it's 1979 - Multi-Platform memory reading/writing☆12Updated 6 years ago
- Tools for testing C compilers for the correct handling of volatile objects.☆26Updated 10 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆22Updated 3 years ago
- Composable high-level instrumentation for C libraries' malloc and friends☆17Updated 5 months ago
- A simple VM to play with OSR in LLVM☆14Updated 7 years ago
- silly-k is an experimental language inspired by K and APL☆16Updated 7 months ago
- Efficient and customisable compression of short strings☆49Updated 8 years ago
- Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis☆13Updated 10 years ago
- reverse engineering branch predictors☆17Updated 9 years ago
- A fast secure userspace pseudorandom number generator☆82Updated 10 years ago
- Converts an ELF binary to a JSON representation☆35Updated 9 years ago
- RDF Graph Database (http://grid.hust.edu.cn/triplebit/)☆11Updated 10 years ago
- Many functions in C for sorting the nibbles in an 8-byte word☆33Updated 10 years ago
- Miscellaneous macros useful for writing x86 asm in nasm or yasm☆7Updated 4 years ago
- forerunner of ydiff - a structural comparison tool for Python☆14Updated 11 years ago
- code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896☆18Updated 6 years ago
- Automatic regression verification for LLVM programs☆19Updated 3 years ago
- An x86-64 instruction decoder.☆16Updated last year
- ☆29Updated 5 years ago
- A small DFA for under 16 states☆51Updated 6 years ago
- LLVM Assembler adding Debug Information at IR Level.☆32Updated 6 years ago