Software Analysis Research Lab (@soarlab)
Guthub

soarlab

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

maline

Android Malware Detection Framework
C++
81
star
2

FPTaylor

Tool for Rigorous Estimation of Round-Off Floating-Point Errors
OCaml
27
star
3

gelpia

Rigorous Global Branch-and-Bound Optimizer
Python
20
star
4

FPTuner

Rigorous Floating-Point Mixed-Precision Tuner
Python
13
star
5

KULFI

LLVM Instruction Level Fault Injector
C++
7
star
6

conferences

Conferences on Software Verification and Analysis
4
star
7

FPML

Exploring floating-point trade-offs in machine learning
TeX
3
star
8

rust-benchmarks

Rust software verification benchmarks
Rust
3
star
9

Gklee

GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
C++
2
star
10

gandalv

Multi-Language Verification Benchmarks
C++
2
star
11

S3FP

Guided Random Testing for Floating-Point Error Estimation
C++
2
star
12

AAQNN

Adversarial Attacks for Quantized Neural Networks
Python
2
star
13

fpsyn

Synthesis of rigorous floating-point predicates
C
2
star
14

lgbtq-problem-set

An LGBTQ-Inclusive Problem Set in Discrete Mathematics
2
star
15

cs5959-f15-shared

Shared Repository for CS 5959: Writing Solid Code
C
1
star
16

paf

PAF: Probabilistic Analysis of Errors in Floating-Point Computations
Python
1
star
17

OL1V3R

OL1V3R: solving floating-point constraints via stochastic local search
Racket
1
star
18

gelpia_tests

test suite for the gelpia tool
Python
1
star
19

clover

Analysis of Debian with KLEE
Shell
1
star