A compiler and mutation testing framework for the programming language Pascal-86
☆20Sep 12, 2014Updated 11 years ago
Alternatives and similar repositories for llvm-p86
Users that are interested in llvm-p86 are comparing it to the libraries listed below
Sorting:
- An OS X kernel module that protects a userland process from being terminated in any way☆14Dec 7, 2015Updated 10 years ago
- A journey in mutation testing☆13Jul 26, 2016Updated 9 years ago
- LLVM Version Manager☆11Apr 21, 2017Updated 8 years ago
- Practical examples of software and testing patterns related to mutation testing☆23Dec 14, 2018Updated 7 years ago
- Add support for debugging JITed code to ORC JIT from LLVM Kaleidoscope example☆13Jun 14, 2017Updated 8 years ago
- heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape☆14Jul 20, 2025Updated 7 months ago
- Software Testing Assignments☆24Apr 4, 2016Updated 9 years ago
- Context switching for LLVM☆15Sep 12, 2011Updated 14 years ago
- VTable Hijacking Protection for Binaries☆12Feb 28, 2017Updated 9 years ago
- LLVM-based Mutation Testing System. Proof of concept☆14Apr 14, 2016Updated 9 years ago
- A small C library capable of parsing and altering Mach-O binaries☆25Dec 8, 2025Updated 2 months ago
- XBE (XBox Executable) loader plugin for Hopper Disassembler v3☆14Jun 29, 2015Updated 10 years ago
- Design space for LLVM/Clang work☆45Jun 14, 2012Updated 13 years ago
- An OCaml bytecode to LLVM compiler☆43Mar 2, 2018Updated 8 years ago
- Simple ParserCombinator framework for Swift☆13May 2, 2018Updated 7 years ago
- Header-only llvm::Expected<T>☆38Oct 14, 2019Updated 6 years ago
- DYLD shared cache loader for Hopper☆36Apr 17, 2017Updated 8 years ago
- LLVM + Swift template Xcode project☆13Apr 20, 2017Updated 8 years ago
- makes async code (Obj-C+Blocks) read kinda like sync code☆21Dec 13, 2014Updated 11 years ago
- MUSIC: MUtation analySIs tool with High Configurability and Extensibility☆18Aug 4, 2023Updated 2 years ago
- Measure branching along code paths☆18Oct 25, 2016Updated 9 years ago
- Swift wrapper around LLVM☆35Nov 24, 2016Updated 9 years ago
- A proof of concept which generates mutations based on an abstract syntax tree☆15Nov 4, 2016Updated 9 years ago
- mutation testing for R☆16Nov 11, 2024Updated last year
- An LLVM IR Editor plugin for Eclipse☆53Jan 22, 2014Updated 12 years ago
- Qt Creator plugin for asn1scc - ASN.1/ACN compiler for embedded systems☆19Sep 4, 2024Updated last year
- LLVM Intellij Plugin☆17Oct 13, 2018Updated 7 years ago
- ☆21Jul 15, 2015Updated 10 years ago
- A tool for simulating an arbitrary connection between two network endpoints☆19May 31, 2019Updated 6 years ago
- Automatic regression verification for LLVM programs☆19Jul 16, 2021Updated 4 years ago
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆19Nov 21, 2022Updated 3 years ago
- Datatype detection in order to choose appropriate compression algorithm☆30Feb 12, 2014Updated 12 years ago
- Compile Time Turing Machine☆16Mar 27, 2016Updated 9 years ago
- ProDOS file system for FUSE☆25Aug 20, 2019Updated 6 years ago
- Systems are built from Components, not from Dependencies.☆26Sep 21, 2017Updated 8 years ago
- Composite operations framework based on top of NSOperation/NSOperationQueue.☆21Feb 1, 2017Updated 9 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆25Dec 6, 2021Updated 4 years ago
- Symbolic execution engine for toy language.☆51Mar 6, 2018Updated 7 years ago
- Primary implementation of the Venture probabilistic programming system☆28Nov 19, 2019Updated 6 years ago