GitHub topics: concolic-testing
agra-uni-bremen/symex-vp
A concolic testing engine for RISC-V embedded software with support for SystemC peripherals
Language: C++ - Size: 31.7 MB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 23 - Forks: 5
SoftSec-KAIST/Eclipser
Grey-box Concolic Testing on Binary Code (ICSE '19)
Language: F# - Size: 234 KB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 153 - Forks: 16
leduyquang753/concolic-ts
Automatic unit test data generation for TypeScript using concolic method.
Language: TypeScript - Size: 290 KB - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
vorpal-research/kex
A platform for analysis of Java bytecode
Language: Kotlin - Size: 102 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 27 - Forks: 20
agra-uni-bremen/sisl
Scheme-based Input Specification language for Concolic Testing
Language: Scheme - Size: 49.8 KB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
agra-uni-bremen/clover
A library for concolic execution of RV32 instruction set simulators
Language: C++ - Size: 478 KB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 1
MatthiasGabriel/SemProgAnTr_HS19
"Concolic testing: An overview of the used techniques and its limits" - Report for the Seminar "Program Analysis and Transformation" in HS2019 about the topic concolic testing
Language: TeX - Size: 413 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
CMPT-479/VBNConcolicGen
Concolic Unit Test Generation for Java
Language: Java - Size: 479 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
LilyOSullivan/SymbolicExecutionForCWithParser
A symbolic execution engine in Prolog for C
Language: C - Size: 75.1 MB - Last synced at: 12 months ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0
justincpresley/softsec 📦
An archive repository that holds all projects formed in the masters-level Software and Systems Security course (CSC-5585) at TTU.
Language: Python - Size: 3.38 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
ajalab/congo
A Concolic Test Generation Framework for Go
Language: Go - Size: 465 KB - Last synced at: 2 months ago - Pushed at: over 6 years ago - Stars: 4 - Forks: 1
