GenSym icon indicating copy to clipboard operation
GenSym copied to clipboard

verified publisher icon Generative-Program-Analysis
→

Metadata

A high-performance, parallel, compilation-based symbolic execution engine

Results 12 GenSym issues
Sort by recently updated
recently updated
newest added

wasm concolic execution

Kraks avatar Kraks

Icse23 cherry pick

Kraks avatar Kraks

equality_sustitution

Kuigesi avatar Kuigesi

simplify cps

Kraks avatar Kraks

Fix return

Kraks avatar Kraks

hook for 2o1u

ahuoguo avatar ahuoguo

upgrade to jdk17

Kraks avatar Kraks

"2 did not equal 0 make failed (TestGS.scala:75)"

1 comment

How to deal with these errors? [info] - printfTestSymUninit *** FAILED *** [info] 2 did not equal 0 make failed (TestGS.scala:75) [info] Run completed in 23 seconds, 851 milliseconds. [info]...

jjyuhub avatar jjyuhub

TestEval uses MiniWasmFX interpreter

Since `testWastFile` is defined by ScriptRunner which only instantiates `EvaluatorFX`

ahuoguo avatar ahuoguo

data segment test

We are currently missing the implementation for data segments in a wasm module

ahuoguo avatar ahuoguo

← Metadata

112
Stars
3
Forks
Watchers

Owner

verified publisher icon Generative-Program-Analysis

Metadata

A high-performance, parallel, compilation-based symbolic execution engine

Back