amishne / llvm-ir-editor
An LLVM IR Editor plugin for Eclipse
☆51Updated 10 years ago
Related projects ⓘ
Alternatives and complementary repositories for llvm-ir-editor
- MiniJava x86, LLVM Compiler and Interpreter☆73Updated 8 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 10 years ago
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- A Java version of LLVM Core by Hao Liu☆22Updated 11 years ago
- custom type systems for Clang☆96Updated 9 years ago
- Java bindings for LLVM libraries☆30Updated 11 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆98Updated 4 years ago
- This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket☆12Updated 2 years ago
- Clank is a Java-port of popular Clang frontend☆38Updated 7 years ago
- a CIL-based dynamic symbolic execution (DSE) engine for C language☆10Updated 9 years ago
- a concolic testing engine for Java☆102Updated 6 years ago
- KLEE's version of uClibc☆47Updated 5 months ago
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆26Updated 2 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆28Updated 5 years ago
- Goal-directed static analysis tool for JVM languages.☆57Updated 8 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆29Updated 9 years ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆26Updated last year
- Static heap reachability analysis for Java bytecode and Android memory leak finder.☆32Updated 10 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆30Updated 5 years ago
- A simple VM to play with OSR in LLVM☆14Updated 7 years ago
- Cover: a safe subset of C++ on the JVM using Graal/Truffle☆19Updated 8 years ago
- Experimental translation of llvm to smt.☆56Updated 4 years ago
- Java bytecode generator for sound and precise partial program analysis☆23Updated 3 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- Automatically exported from code.google.com/p/type-inference☆26Updated 5 years ago
- ☆49Updated 8 months ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆11Updated 6 years ago
- ☆94Updated 2 years ago
- AST - Extractor for LLVM☆18Updated 3 years ago
- Visualization of LLVM IR☆60Updated 10 years ago