concolic-testing

There are 1 repository under concolic-testing topic.

• SoftSec-KAIST / Eclipser

  Grey-box Concolic Testing on Binary Code (ICSE '19)

  testcase-generatorfuzzerconcolic-testingfsharpfuzzing
  Language:F# 148

• vorpal-research / kex

  A platform for analysis of Java bytecode

  kexautomated-testingwhite-box-fuzzingconcolic-testingjavakotlinsymbolic-execution
  Language:Kotlin 27

• agra-uni-bremen / symex-vp

  A concolic testing engine for RISC-V embedded software with support for SystemC peripherals

  concolic-executionconcolic-testingkleerisc-vriscvriscv32symbolic-executionsystemc
  Language:C++ 18

• ajalab / congo

  A Concolic Test Generation Framework for Go

  test-generationgoconcolic-testing
  Language:Go 4

• LilyOSullivan / SymbolicExecutionForCWithParser

  A symbolic execution engine in Prolog for C

  antlr4ckotlinparsingprologsymbolic-executionclpconcolic-testingeclipse-prologlex-yacclex-yacc-parsertest-generation
  Language:C 2

• agra-uni-bremen / clover

  A library for concolic execution of RV32 instruction set simulators

  concolic-testingkleerisc-vsymbolic-execution
  Language:C++ 1

• agra-uni-bremen / sisl

  Scheme-based Input Specification language for Concolic Testing

  concolic-executionconcolic-testingr7rsr7rs-schemesymbolic-execution
  Language:Scheme 1

• CMPT-479 / VBNConcolicGen

  Concolic Unit Test Generation for Java

  concolic-testingjavasootsymbolic-executiontestingunit-testingz3
  Language:Java 1

• justincpresley / softsec

  An archive repository that holds all projects formed in the masters-level Software and Systems Security course (CSC-5585) at TTU.

  concolic-testingdocker-securityprivacy-leakageloggingstatic-analysissystem-call-analysisunit-testingsoftware-developmentdevsecops-best-practicesmachine-learning-analysis
  Language:Python 1

• soneyahossain / STG-I

  Symbolic Test Generalization Instrumentation LLVM Pass

  llvm-irconstraintsconcolic-testing
  Language:C++ 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

  concolic-testingconcolic-execution
  Language:TeX