All issues

Search results

Create dockerfile with llvm, klee and gotollvm that are working correctly

Status: Open.

#16 In Software-Analysis-Team/UTBotGo;

· PolyProgrammist opened on Dec 1, 2021

Create a simple approach to use llvm, gotollvm and klee with minimal build time

Status: Open.

#15 In Software-Analysis-Team/UTBotGo;

· PolyProgrammist opened on Dec 1, 2021

Research how to launch the most simple program on go with klee and document it along with versions of klee, llvm and gotollvm

Status: Open.

#14 In Software-Analysis-Team/UTBotGo;

· PolyProgrammist opened on Dec 1, 2021

Documentation on how to run program with gotollvm and which llvm and gotollvm versions to use

Status: Open.

#13 In Software-Analysis-Team/UTBotGo;

· PolyProgrammist opened on Dec 1, 2021