Search results

Set up virtual env for pip packages

build

Status: Open.

#195 In UnitTestBot/klee;

· S1eGa opened on Aug 2, 2024

Segmentation Fault on CPU verification

bugSomething isn't workingSomething isn't working

Status: Open.

#192 In UnitTestBot/klee;

· S1eGa opened on Jul 17, 2024

Discover how TestCov instrumentation works

Status: Open.

#191 In UnitTestBot/klee;

· S1eGa opened on Jul 17, 2024

Add content of return value for specified function

enhancementNew feature or requestNew feature or request

Status: Open.

#190 In UnitTestBot/klee;

· S1eGa opened on Jul 17, 2024

KLEE runs out of memory

bugSomething isn't workingSomething isn't working

Status: Open.

#71 In UnitTestBot/klee;

· S1eGa opened on Mar 13, 2023

Add support of extern global variable

Status: Open.

#68 In UnitTestBot/klee;

· ladisgin opened on Mar 9, 2023

KLEE: ERROR: Error writing stats data: database is locked

bugSomething isn't workingSomething isn't working

Status: Open.

#67 In UnitTestBot/klee;

· ladisgin opened on Mar 9, 2023

To model 'abs' and 'labs' functions in klee-libc and suggest to KLEE mainline

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#66 In UnitTestBot/klee;

· ladisgin opened on Mar 9, 2023

Conditional (ternary) operator support

bugSomething isn't workingSomething isn't working

enhancementNew feature or requestNew feature or request

Status: Open.

#65 In UnitTestBot/klee;

· ladisgin opened on Mar 9, 2023

Virtual functions execution in symbolic object

enhancementNew feature or requestNew feature or request

с++

Status: Open.

#63 In UnitTestBot/klee;

· ladisgin opened on Mar 9, 2023

Arrays of objects out of bounds

bugSomething isn't workingSomething isn't working

с++

Status: Open.

#62 In UnitTestBot/klee;

· ladisgin opened on Mar 9, 2023