Software Analysis Research Lab

Repositories

• FPTaylor

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

  analysis estimation floating-point round-off-error floating-point-accuracy-problems
  OCaml MIT 5 14 9 2 Updated Sep 26, 2020

• AAQNN

  Adversarial Attacks for Quantized Neural Networks
  Python 0 0 3 2 Updated Sep 25, 2020

• paf

  Probabilistic Analysis of Errors in Floating-Point Computations

  analysis estimation floating-point round-off-error floating-point-accuracy-problems
  Python 0 0 0 0 Updated Sep 24, 2020

• conferences

  Conferences on Software Verification and Analysis
  2 4 0 0 Updated Sep 23, 2020

• rust-benchmarks

  Rust software verification benchmarks

  rust software-verification verification-benchmarks
  Rust MIT 1 1 0 0 Updated Jul 31, 2020

• soarlab.github.io

  Forked from visdesignlab/visdesignlab.github.io
  CSS BSD-3-Clause 17 0 5 0 Updated Jul 14, 2020

• gelpia

  Rigorous Global Branch-and-Bound Optimizer

  optimizer global-optimization interval-arithmetic rigorous
  Python MIT 4 7 10 0 Updated Jul 7, 2020

• gelpia_tests

  test suite for the gelpia tool
  Python MIT 0 1 0 0 Updated May 27, 2020

• FPTuner

  Rigorous Floating-Point Mixed-Precision Tuner

  tuning floating-point precision-allocation precision-tuning
  Python MIT 4 8 1 0 Updated May 21, 2020

• pysmt

  Forked from pysmt/pysmt

  pySMT: A library for SMT formulae manipulation and solving
  Python Apache-2.0 84 0 0 0 Updated Apr 11, 2020

• QF_FXP
  SMT 0 0 1 0 Updated Jan 29, 2020

• gandalv

  Multi-Language Verification Benchmarks
  C++ MIT 1 2 0 0 Updated Jan 15, 2020

• symbooglix

  Forked from boogie-org/symbooglix

  Symbolic Execution Engine for Boogie
  C# BSD-2-Clause 4 0 0 0 Updated Dec 12, 2019

• rustgroup

  All code from the Rust group
  Rust MIT 0 0 0 0 Updated Nov 27, 2019

• FPTaylor-website

  A webserver that can run FPTaylor
  Python 0 0 0 0 Updated Nov 26, 2019

• OL1V3R

  OL1V3R: solving floating-point constraints via stochastic local search
  Racket 0 0 0 0 Updated Sep 13, 2019

• redleaf

  List of Related Work for the Rust Project
  0 0 0 0 Updated May 21, 2019

• FPTherbie
  TeX 0 0 0 0 Updated Nov 17, 2018

• FPML

  Exploring floating-point trade-offs in machine learning

  machine-learning floating-point
  TeX 0 2 0 0 Updated Jul 24, 2018

• P

  Forked from p-org/P

  The P programming language.
  C# MIT 108 0 0 0 Updated May 21, 2018

• jdoop-wrapper

  JDoop wrapper for benchmarking
  Scala AGPL-3.0 0 0 0 0 Updated Nov 28, 2017

• S3FP

  Guided Random Testing for Floating-Point Error Estimation

  testing estimation floating-point round-off-error
  C++ MIT 0 0 0 0 Updated Jul 13, 2017

• maline

  Android Malware Detection Framework

  android malware malware-detection
  C++ AGPL-3.0 34 68 5 1 Updated Jan 4, 2017

• clover

  Analysis of Debian with KLEE
  Shell AGPL-3.0 0 1 0 0 Updated May 19, 2016

• cs5959-f15-shared

  Shared Repository for CS 5959: Writing Solid Code
  C 3 1 0 0 Updated Dec 11, 2015

• KULFI

  LLVM Instruction Level Fault Injector

  llvm fault-injection
  C++ 1 6 1 0 Updated Mar 3, 2015

• Gklee

  GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
  C++ 0 2 0 0 Updated Aug 5, 2014