Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / vorpal-research / kex

A platform for analysis of Java bytecode

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vorpal-research%2Fkex

Stars: 27
Forks: 18
Open Issues: 5

License: apache-2.0
Language: Kotlin
Repo Size: 102 MB
Dependencies: 62

Created: over 4 years ago
Updated: 16 days ago
Last pushed: 11 days ago
Last synced: 11 days ago

Topics: automated-testing, concolic-testing, java, kex, kotlin, symbolic-execution, white-box-fuzzing

Files

Loading...

Readme

Loading...

Dependencies

core/pom.xml maven

ch.qos.logback:logback-classic ${logback.version}
commons-cli:commons-cli ${commons-cli.version}
org.ini4j:ini4j 0.5.4
org.jeasy:easy-random-core 4.3.0-kex-0.0.3
org.jetbrains.kotlinx:kotlinx-serialization-json-jvm ${serialization.version}
org.reflections:reflections 0.10.2
org.slf4j:slf4j-api ${slf4j.version}
org.vorpal.research:kex-annotation-processor 0.0.1
org.vorpal.research:kfg ${kfg.version}
org.vorpal.research:kt-helper ${kt-helper.version}
ru.spbstu:SymKt 0.0.0.5
org.vorpal.research:kex-test 0.0.1 test

kex-annotation-processor/pom.xml maven

org.apache.velocity:velocity-engine-core 2.3
org.jetbrains.kotlinx:kotlinx-serialization-json-jvm ${serialization.version}
org.vorpal.research:kt-helper ${kt-helper.version}

kex-boolector/pom.xml maven

org.vorpal.research:boolector-java 3.2.7
org.vorpal.research:core 0.0.1
org.vorpal.research:kex-annotation-processor 0.0.1
org.vorpal.research:kt-helper ${kt-helper.version}
org.vorpal.research:core 0.0.1 test

kex-executor/pom.xml maven

ch.qos.logback:logback-classic ${logback.version}
org.jetbrains.kotlinx:kotlinx-coroutines-core ${coroutines.version}
org.slf4j:slf4j-api ${slf4j.version}
org.vorpal.research:core 0.0.1
org.vorpal.research:kfg ${kfg.version}
org.vorpal.research:kt-helper ${kt-helper.version}

kex-runner/pom.xml maven

ch.qos.logback:logback-classic ${logback.version}
com.github.h0tk3y.betterParse:better-parse-jvm 0.4.4
junit:junit 4.13.2
org.apache.commons:commons-text 1.9
org.jacoco:org.jacoco.core 0.8.8
org.jetbrains.kotlinx:kotlinx-coroutines-core ${coroutines.version}
org.jetbrains.kotlinx:kotlinx-serialization-json-jvm ${serialization.version}
org.slf4j:slf4j-api ${slf4j.version}
org.vorpal.research:core 0.0.1
org.vorpal.research:kfg ${kfg.version}
org.vorpal.research:kt-helper ${kt-helper.version}
org.vorpal.research:core 0.0.1 test
org.vorpal.research:kex-executor 0.0.1 test
org.vorpal.research:kex-test 0.0.1 test

kex-test/pom.xml maven

org.jetbrains.kotlin:kotlin-stdlib 1.6.21
org.vorpal.research:kex-intrinsics 0.1.0
org.jetbrains.kotlin:kotlin-test 1.6.21 test

kex-z3/pom.xml maven

com.microsoft:z3 4.8.17
org.vorpal.research:core 0.0.1
org.vorpal.research:kex-annotation-processor 0.0.1
org.vorpal.research:kt-helper ${kt-helper.version}
org.vorpal.research:core 0.0.1 test

pom.xml maven

org.jetbrains.kotlin:kotlin-reflect 1.6.21
org.jetbrains.kotlin:kotlin-stdlib 1.6.21
org.jetbrains.kotlin:kotlin-stdlib-common 1.6.21
org.jetbrains.kotlin:kotlin-stdlib-jdk8 1.6.21
org.jetbrains.kotlin:kotlin-test-junit 1.6.21 test

.github/workflows/kex-test.yml actions

vorpal-research/kex-dockerfile v4 composite

kex-ksmt/pom.xml maven

com.github.UnitTestBot.ksmt:ksmt-core 0.3.2
com.github.UnitTestBot.ksmt:ksmt-runner 0.3.2
com.github.UnitTestBot.ksmt:ksmt-z3 0.3.2
org.jetbrains.kotlinx:kotlinx-coroutines-core ${coroutines.version}
org.vorpal.research:core 0.0.1
org.vorpal.research:kex-annotation-processor 0.0.1
org.vorpal.research:kt-helper ${kt-helper.version}
org.vorpal.research:core 0.0.1 test