Issues

• Set up virtual env for pip packages

  build
  UnitTestBot/klee#195 · Filter by author S1eGa opened on Aug 2, 2024

• Segmentation Fault on CPU verification

  bug
  UnitTestBot/klee#192 · Filter by author S1eGa opened on Jul 17, 2024
  

• Discover how TestCov instrumentation works

  UnitTestBot/klee#191 · Filter by author S1eGa opened on Jul 17, 2024
  

• Add content of return value for specified function

  enhancement
  UnitTestBot/klee#190 · Filter by author S1eGa opened on Jul 17, 2024
  

• KLEE runs out of memory

  bug
  UnitTestBot/klee#71 · Filter by author S1eGa opened on Mar 13, 2023
  

• Add support of extern global variable

  UnitTestBot/klee#68 · Filter by author ladisgin opened on Mar 9, 2023
  

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

  bug
  UnitTestBot/klee#67 · Filter by author ladisgin opened on Mar 9, 2023
  

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

  enhancementgood first issue
  UnitTestBot/klee#66 · Filter by author ladisgin opened on Mar 9, 2023
  

• Conditional (ternary) operator support

  bugenhancement
  UnitTestBot/klee#65 · Filter by author ladisgin opened on Mar 9, 2023
  

• Virtual functions execution in symbolic object

  enhancementс++
  UnitTestBot/klee#63 · Filter by author ladisgin opened on Mar 9, 2023
  

• Arrays of objects out of bounds

  bugс++
  UnitTestBot/klee#62 · Filter by author ladisgin opened on Mar 9, 2023