swtv-kaist / MUSICView external linksLinks
MUSIC: MUtation analySIs tool with High Configurability and Extensibility
☆18Aug 4, 2023Updated 2 years ago
Alternatives and similar repositories for MUSIC
Users that are interested in MUSIC are comparing it to the libraries listed below
Sorting:
- A mutation tool for source and IR☆13Sep 6, 2018Updated 7 years ago
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆19Nov 21, 2022Updated 3 years ago
- LLVM Version Manager☆11Apr 21, 2017Updated 8 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Jan 25, 2018Updated 8 years ago
- Add support for debugging JITed code to ORC JIT from LLVM Kaleidoscope example☆13Jun 14, 2017Updated 8 years ago
- A compiler and mutation testing framework for the programming language Pascal-86☆20Sep 12, 2014Updated 11 years ago
- A compiler for the Meta Attack Language☆15Apr 11, 2022Updated 3 years ago
- Simple ParserCombinator framework for Swift☆13May 2, 2018Updated 7 years ago
- Measure branching along code paths☆18Oct 25, 2016Updated 9 years ago
- LLVM + Swift template Xcode project☆13Apr 20, 2017Updated 8 years ago
- mutation testing for R☆16Nov 11, 2024Updated last year
- A proof of concept which generates mutations based on an abstract syntax tree☆15Nov 4, 2016Updated 9 years ago
- ☆20May 30, 2024Updated last year
- A tool for simulating an arbitrary connection between two network endpoints☆19May 31, 2019Updated 6 years ago
- LLVM Intellij Plugin☆17Oct 13, 2018Updated 7 years ago
- Automatic regression verification for LLVM programs☆19Jul 16, 2021Updated 4 years ago
- Compile Time Turing Machine☆16Mar 27, 2016Updated 9 years ago
- Process Orchestration Framework: A camunda 7 fork☆20Updated this week
- 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
- A C API to do most things done by the FreeBSD 'ifconfig' program today☆26Feb 17, 2018Updated 7 years ago
- ☆24Jun 17, 2021Updated 4 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆22Jul 5, 2017Updated 8 years ago
- Software Testing Assignments☆24Apr 4, 2016Updated 9 years ago
- ☆28Oct 29, 2025Updated 3 months ago
- We propose a novel DL-based mutation technique (LEAM), which adapts the syntax-guided encoder-decoder architecture to build two sub-model…☆29Jun 16, 2024Updated last year
- [UNMAINTAINED] Provides automated test to detect runtime conflicts of constraints.☆26Apr 12, 2016Updated 9 years ago
- A demo project showing the use of yacc and lex (bison, flex) in a Xcode project☆33Oct 10, 2016Updated 9 years ago
- LLVM Assembler adding Debug Information at IR Level.☆33Oct 31, 2018Updated 7 years ago
- Tool that can be used to generate Clang Compilation DBs from Xcode.☆29Apr 23, 2016Updated 9 years ago
- OWASP Ontology-driven Threat Modelling framework☆40Jul 11, 2023Updated 2 years ago
- SDLC Copilot is an Agentic AI system designed to streamline and automate the Software Development Lifecycle (SDLC). From requirement gath…☆22Jun 14, 2025Updated 8 months ago
- Example usage of LLVM's C bindings☆36Apr 9, 2012Updated 13 years ago
- Compiler instrumentation for testing☆31Mar 28, 2018Updated 7 years ago
- An Emulator and SDK for Intel SGX extension☆32Mar 6, 2017Updated 8 years ago
- ☆36Apr 26, 2023Updated 2 years ago
- Python General Framework for Genetic Improvement [Version 2]☆30Nov 28, 2023Updated 2 years ago
- A day of lightning talks for folks who distribute and release builds of LLVM, with a focus on configuration, testing, and unique constrai…☆36Sep 27, 2021Updated 4 years ago
- Joke invisible app to kill iTunes as soon as it launches☆27Dec 5, 2016Updated 9 years ago