KLEE with floating point support (unmaintained)
☆20Feb 15, 2022Updated 4 years ago
Alternatives and similar repositories for klee-float
Users that are interested in klee-float are comparing it to the libraries listed below
Sorting:
- ☆52Mar 26, 2016Updated 9 years ago
- ☆21Jan 10, 2019Updated 7 years ago
- KLEE's version of uClibc☆56May 31, 2024Updated last year
- Language-independent, search-based program repair -- just your cup of tea! ☕☆30Jul 9, 2024Updated last year
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆34Mar 11, 2025Updated 11 months ago
- Compartmentalization using hardware and software techniques.☆12Aug 28, 2025Updated 6 months ago
- Exploring and improving the quality of ChatGPT-generated code for LeetCode programming tasks.☆11Jan 19, 2024Updated 2 years ago
- SymDiff-Differential-Program-Verifier☆38Aug 21, 2025Updated 6 months ago
- ☆10Mar 16, 2023Updated 2 years ago
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated 7 months ago
- An implementation of sparse-value flow analysis on top of soot (using Scala)☆10Dec 12, 2024Updated last year
- ☆10Mar 20, 2020Updated 5 years ago
- CS1010 I/O Library☆11Aug 21, 2020Updated 5 years ago
- ☆11Jul 16, 2023Updated 2 years ago
- Yet another implementation of TI C6x DSP simulator☆12Jan 16, 2014Updated 12 years ago
- Framework for testing the reachability of native functions in Android applications.☆11Aug 30, 2023Updated 2 years ago
- The repo works as a archive for the SVL simulator without Git LFS initialized.☆12Jan 25, 2022Updated 4 years ago
- The Cloud9 main repository☆54Sep 11, 2013Updated 12 years ago
- KLEE / CSE Project☆48Apr 3, 2020Updated 5 years ago
- Clever @ Ubisoft MTL is looking for new interns and permanent members. Take the test now.☆10Oct 3, 2020Updated 5 years ago
- Perltidy extension for Visual Studio Code☆12May 7, 2025Updated 10 months ago
- Open-science repository on KTH's program repair experiment on the Quixbugs benchmark☆12May 23, 2022Updated 3 years ago
- ☆12Jul 21, 2022Updated 3 years ago
- A small framework for isolated testing of tmux plugins.☆17Apr 19, 2019Updated 6 years ago
- A mock to test the socket.io library implementation☆11May 30, 2016Updated 9 years ago
- Flash Patch library and example on Nordic Semiconductor's nRF52 Series Device☆12Apr 26, 2016Updated 9 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- E2E, API and Visual Tests with Robot Framework, SeleniumLib, RequestsLib, EyesLib and FakerLib☆15Apr 24, 2024Updated last year
- Provide tips and corrections for C programs☆14Jun 15, 2018Updated 7 years ago
- A minimal template for creating a wxPython GUI application and compiling it into an *.app (for OS X) / *.exe (for MS Windows) with py2app…☆11Sep 24, 2022Updated 3 years ago
- Event Platform☆14Oct 11, 2015Updated 10 years ago
- ☆12Aug 17, 2021Updated 4 years ago
- Translate java jar files into Boogie programs☆12Apr 16, 2024Updated last year
- pytest plugin to dump environment variables, package version and generic attributes.☆22Sep 5, 2025Updated 6 months ago
- One consensus test generator☆11Dec 8, 2018Updated 7 years ago
- ☆14Dec 16, 2021Updated 4 years ago
- ☆12May 8, 2017Updated 8 years ago
- robotframework-ride web in docker☆15May 12, 2017Updated 8 years ago
- An SMT Solver for strings☆10Jun 22, 2018Updated 7 years ago