Java Concolic Unit Testing Engine
☆94Jul 3, 2014Updated 11 years ago
Alternatives and similar repositories for jcute
Users that are interested in jcute are comparing it to the libraries listed below
Sorting:
- a concolic testing engine for Java☆105Feb 20, 2018Updated 8 years ago
- Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.☆14Jul 11, 2014Updated 11 years ago
- A constraint solver abstraction layer for Java☆21Apr 16, 2023Updated 2 years ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- A symbolic Java virtual machine for program analysis, verification and test generation☆120Feb 24, 2026Updated last week
- Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)☆12Dec 16, 2021Updated 4 years ago
- CREST is a concolic test generation tool for C.☆162Jul 5, 2020Updated 5 years ago
- Goal-directed static analysis tool for JVM languages.☆58May 17, 2016Updated 9 years ago
- The Cloud9 main repository☆54Sep 11, 2013Updated 12 years ago
- Interprocedural Distributive Environment algorithm implementation☆16Jul 16, 2015Updated 10 years ago
- Indexing reachability for context-sensitive data flow analysis.☆12Jul 10, 2022Updated 3 years ago
- Dynamic detection of likely invariants☆245Feb 20, 2026Updated last week
- Symbolic PathFinder☆165Updated this week
- Semantic program repair system for C programs☆101Sep 26, 2022Updated 3 years ago
- JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to instal…☆605Dec 16, 2025Updated 2 months ago
- JQF + Zest: Coverage-guided semantic fuzzing for Java.☆726Sep 22, 2025Updated 5 months ago
- JavaSMT - Unified Java API for SMT solvers.☆231Updated this week
- Sys, but no longer in Haskell☆19Mar 14, 2022Updated 3 years ago
- Joana - Information Flow Control for Java☆95Dec 22, 2021Updated 4 years ago
- Static checker for Java☆87Jan 16, 2025Updated last year
- Rubah is a Dynamic Software Updating (DSU) system for Java that works on stock JVMs☆24Sep 13, 2015Updated 10 years ago
- SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation☆20Nov 24, 2015Updated 10 years ago
- Clone of git://git.code.sf.net/p/portecle/code☆12Feb 9, 2016Updated 10 years ago
- Taking a Ruby-shaped chainsaw to Go type safety in the interests of elegance☆17Feb 19, 2022Updated 4 years ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 7 years ago
- This is the archived S2E 1.0 repo. We do not maintain it anymore.☆315Jun 25, 2020Updated 5 years ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆25Feb 13, 2023Updated 3 years ago
- Automatically exported from code.google.com/p/type-inference☆27Jan 22, 2019Updated 7 years ago
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆27Nov 14, 2025Updated 3 months ago
- Accurate Condition Synthesis☆20Aug 3, 2022Updated 3 years ago
- A wanna-be-community-run sandbox game written in Java☆11Jun 27, 2018Updated 7 years ago
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Mar 10, 2018Updated 7 years ago
- Checkout our paper: History Driven Program Repair here☆11Mar 15, 2019Updated 6 years ago
- ☆10Oct 30, 2016Updated 9 years ago
- KeyCloak Extensions: Securing Realm Resources With Custom Roles☆15Aug 29, 2016Updated 9 years ago
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- scripts for testing TiDB☆10Feb 4, 2026Updated last month
- This is an implementation of the Language Server Protocol for Jimple. It enables your IDE to provide code exploring features while workin…☆12Dec 15, 2023Updated 2 years ago
- A Reduction Tool for SQL Bachelor's thesis of Jonas Müntener☆16Oct 15, 2024Updated last year