Software Analysis Research Lab

icon indicating a website link http://soarlab.org/

icon location School of Computing, University of Utah

Results 3 repositories owned by Software Analysis Research Lab
trafficstars

maline

76
Stars
31
Forks
Watchers

Android Malware Detection Framework

verified publisher icon soarlab

FPTaylor

25
Stars
9
Forks
Watchers

Tool for Rigorous Estimation of Round-Off Floating-Point Errors

verified publisher icon soarlab

gelpia

15
Stars
6
Forks
Watchers

Rigorous Global Branch-and-Bound Optimizer

verified publisher icon soarlab