ConcoLLMic: the first language- and theory-agonistic concolic execution engine via LLM agents
-
Updated
Sep 8, 2026 - Python
#
concolic-testing
Here are 24 public repositories matching this topic...
Grey-box Concolic Testing on Binary Code (ICSE '19)
-
Updated
Oct 4, 2021 - F#
A platform for analysis of Java bytecode
-
Updated
Oct 14, 2024 - Kotlin
A concolic testing engine for RISC-V embedded software with support for SystemC peripherals
-
Updated
Oct 4, 2023 - C++
GenPark AI Agent Skill - Loop invariant inductiveness and total correctness prover verifying initialization, preservation, and postcondition implication.
mcp formal-verification presburger-arithmetic hoare-logic concolic-testing agentic-ai python-stdlib weakest-precondition genpark-skill loop-invariant
-
Updated
Sep 9, 2026 - Python
GenPark AI Agent Skill - Deductive program verifier validating Hoare logic triplets {P} C {Q} across state transitions, assignment axioms, and conditional branches.
mcp formal-verification presburger-arithmetic hoare-logic concolic-testing agentic-ai python-stdlib weakest-precondition genpark-skill loop-invariant
-
Updated
Sep 9, 2026 - Python
GenPark AI Agent Skill - Deductive program verifier validating Hoare logic triplets {P} C {Q} across state transitions, assignment axioms, and conditional branches.
mcp formal-verification presburger-arithmetic hoare-logic concolic-testing agentic-ai python-stdlib weakest-precondition genpark-skill loop-invariant
-
Updated
Sep 9, 2026 - Python
GenPark AI Agent Skill - Concolic testing and symbolic branch inversion engine recording concrete-symbolic execution paths and targeting unvisited code branches.
mcp formal-verification presburger-arithmetic hoare-logic concolic-testing agentic-ai python-stdlib weakest-precondition genpark-skill loop-invariant
-
Updated
Sep 9, 2026 - Python
GenPark AI Agent Skill - Dijkstra's Weakest Precondition (wp) predicate transformer calculus engine backward-propagating postconditions through assignment statements and branch conditions.
mcp formal-verification presburger-arithmetic hoare-logic concolic-testing agentic-ai python-stdlib weakest-precondition genpark-skill loop-invariant
-
Updated
Sep 9, 2026 - Python
GenPark AI Agent Skill - Presburger linear integer arithmetic decision procedure solving systems of linear inequalities for agent safety guard synthesis.
mcp formal-verification presburger-arithmetic hoare-logic concolic-testing agentic-ai python-stdlib weakest-precondition genpark-skill loop-invariant
-
Updated
Sep 9, 2026 - Python
GenPark AI Agent Skill - Concolic testing and symbolic branch inversion engine recording concrete-symbolic execution paths and targeting unvisited code branches.
mcp formal-verification presburger-arithmetic hoare-logic concolic-testing agentic-ai python-stdlib weakest-precondition genpark-skill loop-invariant
-
Updated
Sep 9, 2026 - Python
GenPark AI Agent Skill - Dijkstra's Weakest Precondition (wp) predicate transformer calculus engine backward-propagating postconditions through assignment statements and branch conditions.
mcp formal-verification presburger-arithmetic hoare-logic concolic-testing agentic-ai python-stdlib weakest-precondition genpark-skill loop-invariant
-
Updated
Sep 9, 2026 - Python
GenPark AI Agent Skill - Loop invariant inductiveness and total correctness prover verifying initialization, preservation, and postcondition implication.
mcp formal-verification presburger-arithmetic hoare-logic concolic-testing agentic-ai python-stdlib weakest-precondition genpark-skill loop-invariant
-
Updated
Sep 9, 2026 - Python
GenPark AI Agent Skill - Presburger linear integer arithmetic decision procedure solving systems of linear inequalities for agent safety guard synthesis.
mcp formal-verification presburger-arithmetic hoare-logic concolic-testing agentic-ai python-stdlib weakest-precondition genpark-skill loop-invariant
-
Updated
Sep 9, 2026 - Python
A Concolic Test Generation Framework for Go
-
Updated
Mar 7, 2019 - Go
Concolic Unit Test Generation for Java
-
Updated
Apr 28, 2023 - Java
Master's students in NCCU SoSLab maintaining a cleaned and restructured version of INCITE (based on PyCT).
-
Updated
Aug 26, 2026 - Python
A symbolic execution engine in Prolog for C
kotlin c parsing prolog symbolic-execution antlr4 test-generation clp lex-yacc-parser concolic-testing lex-yacc eclipse-prolog
-
Updated
Aug 23, 2023 - C
Symbolic Test Generalization Instrumentation LLVM Pass
-
Updated
Oct 20, 2021 - C++
An archive repository that holds all projects formed in the masters-level Software and Systems Security course (CSC-5585) at TTU.
unit-testing static-analysis logging software-development system-call-analysis machine-learning-analysis docker-security concolic-testing privacy-leakage devsecops-best-practices
-
Updated
Nov 22, 2021 - Python
Add this topic to your repo
To associate your repository with the concolic-testing topic, visit your repo's landing page and select "manage topics."