Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
-
Updated
Apr 10, 2025 - Python
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Neural Code Comprehension: A Learnable Representation of Code Semantics
Ahead-of-time compiler for Chocopy, a statically typed subset of Python 3, built in Python 3.
Compile Binary Ninja's MLIL to LLVM, for purposes of analysis, patching, and compiling it back to a binary again.
ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.
Multi-One Instruction Set Computer (mOISC)/dynamic Reduced Instruction Set Computer (dRISC)
Pymx is a compiler written in Python 3 for the M* language which is a toy language. The compiler is intended to support to generate rv32im code from a java-like language.
An experimental LLVM-IR code fragment generator using the SMT solver Z3.
Compiler for the sPLash programming language
Didactic Programming Language (DPL) compiler.
Add a description, image, and links to the llvm-ir topic page so that developers can more easily learn about it.
To associate your repository with the llvm-ir topic, visit your repo's landing page and select "manage topics."