rainoftime

plfm-bib

Reference about PL and FM

rainoftime.github.io

MBA-Solver

angr-dev

Some helper scripts to set up an environment for angr development.

claripy

An abstraction layer for constraint solvers.

CSrankings

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

dg

[LLVM Static Slicer] Dependence graph for programs. A set of generic program analyses and a static slicer for LLVM bitcode.

DryadSynth

A SyGuS Solver

eldarica

The Eldarica model checker

FuzzingPaper

Recent Fuzzing Paper

GPUSAT

llvm-cbe

resurrected LLVM "C Backend", with improvements

metal

Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis

microsat

microsat

MOpt-AFL

MOpt-AFL provided by the paper "MOPT: Optimized Mutation Scheduling for Fuzzers"

opensmt

The opensmt solver

ostrich

An SMT Solver for string constraints

oyente

An Analysis Tool for Smart Contracts

pydelta

pysat

A toolkit for SAT-based prototyping in Python

pysmt

pySMT: A library for SMT formulae manipulation and solving

pysonar2

PySonar2: an advanced semantic indexer for Python

SATfeatPy

Seabs

Seabs: Solution Enumeration ABStraction for Alloy Models

semantic-fusion-seeds

Pre-categorized (sat/unsat) SMT-LIB benchmarks for Semantic Fusion

smtfuzz.github.io

SVF

Static Value-Flow Analysis in LLVM

tpchina.github.io

yices2

The Yices SMT Solver