Skip to content

@soarlab Software Analysis Research Lab

Change the repository type filter

All

    Repositories list

    30 repositories

    • FPTaylor

      Public
      Tool for Rigorous Estimation of Round-Off Floating-Point Errors
      analysisestimationfloating-pointround-off-errorfloating-point-accuracy-problems
      OCaml
      •
      MIT License
      •9•27•12•2•Updated Sep 1, 2024Sep 1, 2024

    • gelpia

      Public
      Rigorous Global Branch-and-Bound Optimizer
      global-optimizationrigorousoptimizerinterval-arithmetic
      Python
      •
      MIT License
      •6•21•10•1•Updated May 16, 2024May 16, 2024

    • rust-benchmarks

      Public
      Rust software verification benchmarks
      software-verificationrustverification-benchmarks
      Rust
      •
      MIT License
      •2•3•1•1•Updated Apr 18, 2024Apr 18, 2024

    • OL1V3R

      Public
      OL1V3R: solving floating-point constraints via stochastic local search
      Racket
      •
      Other
      •0•1•0•0•Updated Aug 14, 2022Aug 14, 2022

    • fpsyn

      Public
      Synthesis of rigorous floating-point predicates
      C
      •
      MIT License
      •1•2•0•0•Updated Mar 24, 2022Mar 24, 2022

    • AAQNN

      Public
      Adversarial Attacks for Quantized Neural Networks
      Python
      •0•2•3•5•Updated Jan 13, 2022Jan 13, 2022

    • paf

      Public
      PAF: Probabilistic Analysis of Errors in Floating-Point Computations
      analysisestimationfloating-pointround-off-errorfloating-point-accuracy-problems
      Python
      •
      MIT License
      •1•1•12•0•Updated Dec 7, 2021Dec 7, 2021

    • gelpia_tests

      Public
      test suite for the gelpia tool
      Python
      •
      MIT License
      •0•1•0•0•Updated Dec 6, 2021Dec 6, 2021

    • lgbtq-problem-set

      Public
      An LGBTQ-Inclusive Problem Set in Discrete Mathematics
      Creative Commons Attribution 4.0 International
      •0•2•0•0•Updated Dec 2, 2021Dec 2, 2021

    • rust-verification-tools

      Public
      RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
      Rust
      •
      Apache License 2.0
      •37•0•0•0•Updated Sep 9, 2021Sep 9, 2021

    • soarlab.github.io

      Public
      SCSS
      •
      BSD 3-Clause "New" or "Revised" License
      •22•0•5•1•Updated Jul 12, 2021Jul 12, 2021

    • conferences

      Public
      Conferences on Software Verification and Analysis
      2•4•0•0•Updated Apr 21, 2021Apr 21, 2021

    • pysmt

      Public
      pySMT: A library for SMT formulae manipulation and solving
      Python
      •
      Apache License 2.0
      •130•4•1•0•Updated Apr 20, 2021Apr 20, 2021

    • FPTuner

      Public
      Rigorous Floating-Point Mixed-Precision Tuner
      floating-pointtuningprecision-allocationprecision-tuning
      Python
      •
      MIT License
      •7•13•2•0•Updated May 21, 2020May 21, 2020

    • QF_FXP

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

    • gandalv

      Public
      Multi-Language Verification Benchmarks
      C++
      •
      MIT License
      •2•2•0•0•Updated Jan 15, 2020Jan 15, 2020

    • symbooglix

      Public
      Symbolic Execution Engine for Boogie
      C#
      •
      BSD 2-Clause "Simplified" License
      •4•0•0•0•Updated Dec 12, 2019Dec 12, 2019

    • rustgroup

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

    • FPTaylor-website

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

    • redleaf

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

    • FPTherbie

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

    • FPML

      Public
      Exploring floating-point trade-offs in machine learning
      floating-pointmachine-learning
      TeX
      •0•3•0•0•Updated Jul 24, 2018Jul 24, 2018

    • P

      Public
      The P programming language.
      C#
      •
      MIT License
      •179•0•0•0•Updated May 21, 2018May 21, 2018

    • jdoop-wrapper

      Public
      JDoop wrapper for benchmarking
      Scala
      •
      GNU Affero General Public License v3.0
      •0•0•0•0•Updated Nov 28, 2017Nov 28, 2017

    • S3FP

      Public
      Guided Random Testing for Floating-Point Error Estimation
      testingestimationfloating-pointround-off-error
      C++
      •
      MIT License
      •2•2•0•0•Updated Jul 13, 2017Jul 13, 2017

    • maline

      Public
      Android Malware Detection Framework
      malwaremalware-detectionandroid
      C++
      •
      GNU Affero General Public License v3.0
      •31•81•5•1•Updated Jan 4, 2017Jan 4, 2017

    • clover

      Public
      Analysis of Debian with KLEE
      Shell
      •
      GNU Affero General Public License v3.0
      •0•1•0•0•Updated May 19, 2016May 19, 2016

    • cs5959-f15-shared

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

    • KULFI

      Public
      LLVM Instruction Level Fault Injector
      llvmfault-injection
      C++
      •
      Other
      •1•7•1•0•Updated Mar 3, 2015Mar 3, 2015

    • Gklee

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