GrammaTech / sel
Programmatic modification and evaluation of software
☆168Updated last month
Related projects ⓘ
Alternatives and complementary repositories for sel
- Resolve software differencing and merging☆37Updated 2 years ago
- Replication package for Mining Input Grammars From Dynamic Control Flow☆24Updated 4 years ago
- A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…☆46Updated last month
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- Program analysis tools developed at Draper on the CBAT project.☆102Updated last year
- Evolutionary optimization of extant software☆27Updated 10 years ago
- The People's Verification System☆139Updated this week
- A library for building abstract interpretation-based analyses☆233Updated last month
- Grammar synthesis algorithm using a black box oracle☆36Updated 6 months ago
- MIT's abstract interpretation class taught by Cousot☆36Updated 10 years ago
- ANTLR SMT-LIB v2 Grammar☆21Updated 2 years ago
- Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.☆30Updated 3 weeks ago
- An interactive development environment for SMT-LIB files and Z3☆23Updated 2 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Updated 8 years ago
- Pretty printer from GTIRB to assembly code☆48Updated this week
- Python API for rewriting GTIRB files☆16Updated last month
- A tool for analyzing LLVM bitcode using Datalog.☆98Updated 4 years ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆20Updated 2 years ago
- The Cloud9 main repository☆52Updated 11 years ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation☆277Updated 7 months ago
- ☆40Updated 5 years ago
- Common Interface to Boolean Satisfiability Solvers from Common Lisp☆14Updated 2 years ago
- ☆42Updated 2 years ago
- elisp bindings for the capstone disassembler☆22Updated 4 years ago
- A fuzzing framework for SMT solvers☆185Updated last year
- ☆16Updated last year
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆102Updated 2 years ago
- Open source binary analysis tools.☆208Updated this week
- A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.☆81Updated 6 years ago