Software Analysis Research Lab
soarlab
Languages
Repos
31
Stars
203
Forks
69
Top Language
Python
Loading contributions...
Top Repositories
Android Malware Detection Framework
Tool for Rigorous Estimation of Round-Off Floating-Point Errors
Rigorous Global Branch-and-Bound Optimizer
Rigorous Floating-Point Mixed-Precision Tuner
LLVM Instruction Level Fault Injector
Synthesis of rigorous floating-point predicates
Repositories
31Rigorous Floating-Point Mixed-Precision Tuner
Tool for Rigorous Estimation of Round-Off Floating-Point Errors
Synthesis of rigorous floating-point predicates
Android Malware Detection Framework
PAF: Probabilistic Analysis of Errors in Floating-Point Computations
Rigorous Global Branch-and-Bound Optimizer
Rigorous error bounds for Logarithmic Number Systems
OL1V3R: solving floating-point constraints via stochastic local search
LLVM Instruction Level Fault Injector
pySMT: A library for SMT formulae manipulation and solving
Rust software verification benchmarks
GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
Guided Random Testing for Floating-Point Error Estimation
Exploring floating-point trade-offs in machine learning
Adversarial Attacks for Quantized Neural Networks
An LGBTQ-Inclusive Problem Set in Discrete Mathematics
test suite for the gelpia tool
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
No description provided.
Conferences on Software Verification and Analysis
No description provided.
Multi-Language Verification Benchmarks
Symbolic Execution Engine for Boogie
All code from the Rust group
A webserver that can run FPTaylor
List of Related Work for the Rust Project
Analysis of Debian with KLEE
No description provided.
The P programming language.
JDoop wrapper for benchmarking