Dynamic analysis of multithreaded C programs

Woodpecker: Verifying systems rules using rule-directed symbolic execution

AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries

differential

DSVerifier - Digital Systems Verifier

ICRA: a static analyzer based on interprocedural compositional recurrence analysis

An efficient minimal perfect hash function generator for small sets

Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".

a CIL-based dynamic symbolic execution (DSE) engine for C language

A divide-and-conquer parallel SAT solver with machine learning based splitting heuristic.

CAST v1.2.2, A C implementation of Compressively Accelerated Search Tools

Andersen's pointer analysis in Prolog as part of the PATO (Program Analysis Through Ontology) project.

Implementation of "Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification""

Burn After Reading: A Shadow Stack with Microsecond-level Runtime Rerandomization for Protecting Return Addresses

An llvm implementation of a memory leak analysis by contradiction.

Code and Data for RENN published at ASE 2019

Code for improved rv-predict and installer

mathematics optmization and control theorem

SymSC code & benchmarks.

data race benchmark suite(archived)

State-of-the-Art Model Checker for Sequential Recursive Integer Programs.

Alias Analysis tests

building quantified (including universally and existentially) and disjunctive abstract domains that leverage existing quantifier-free domains in some restricted cases: traversed by simple ``for'' l…

Clone from artefact for "Computing summaries of string loops in C for better testing and refactoring".