Software Analysis Research Lab

Popular repositories

1. maline Public

   Android Malware Detection Framework

   C++ 73 34

2. FPTaylor Public

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

   OCaml 22 9

3. FPTuner Public

   Rigorous Floating-Point Mixed-Precision Tuner

   Python 13 6

4. gelpia Public

   Rigorous Global Branch-and-Bound Optimizer

   Python 10 5

5. KULFI Public

   LLVM Instruction Level Fault Injector

   C++ 5 1

6. conferences Public

   Conferences on Software Verification and Analysis

   4 2