1 file changed
+1
-1
lines changed- CMakeLists.txt+1-1
- include/klee/Core/Interpreter.h+2-1
- include/klee/Module/KCallable.h+73
- include/klee/Module/KModule.h+17-1
- include/klee/Module/KType.h+111
- lib/Core/AddressSpace.cpp+49-21
- lib/Core/AddressSpace.h+11-13
- lib/Core/CMakeLists.txt+2
- lib/Core/CXXTypeSystem/CXXTypeManager.cpp+710
- lib/Core/CXXTypeSystem/CXXTypeManager.h+267
- lib/Core/ExecutionState.cpp+8-2
- lib/Core/Executor.cpp+372-177
- lib/Core/Executor.h+29-24
- lib/Core/ExternalDispatcher.cpp+24-14
- lib/Core/ExternalDispatcher.h+2-2
- lib/Core/Memory.cpp+15-4
- lib/Core/Memory.h+11-2
- lib/Core/Searcher.cpp+3
- lib/Core/SpecialFunctionHandler.cpp+49-22
- lib/Core/TypeManager.cpp+189
- lib/Core/TypeManager.h+66
- lib/Expr/ExprUtil.cpp+3
- lib/Module/CMakeLists.txt+1
- lib/Module/KModule.cpp+8-3
- lib/Module/KType.cpp+43
- lib/Runner/run_klee.cpp+8-18
- scripts/build/p-klee.inc+1-1
- test/Feature/InlineAsm.c+25
- test/Feature/NullPointerDereferenceCheck.c+12
- test/Feature/types/ArrayAccess.c+39
- test/Feature/types/InnerStructAccess.c+40
- test/Feature/types/StructDereference.c+31
- test/Feature/types/SymbolicPointerMultipleResolve.c+66
- test/Feature/types/SymbolicPointerSimpleResolve.c+26
- test/Feature/types/UnionAccess.c+29
- test/Feature/types/effective-type/EffectiveTypeFirstRead.c+30
- test/Feature/types/effective-type/EffectiveTypeMalloc.c+41
- test/Feature/types/effective-type/EffectiveTypeMemset.c+41
- test/Feature/types/effective-type/EffectiveTypeRealloc.c+50
- test/Feature/types/effective-type/OperatorNew.cpp+50
- test/Feature/types/pointers-alignment/ArrayPointerAlignment.c+23
- test/Feature/types/pointers-alignment/DefaultPointerAlignment.c+24
- test/Feature/types/pointers-alignment/EffectiveTypePointerAlignment.c+26
- test/Feature/types/pointers-alignment/StructurePointerAlignment.c+31
- test/Feature/types/pointers-alignment/StructurePointerWithOffsetAlignment.c+35
- test/regression/2012-05-13-asm-causes-aborts.c-9
- test/regression/2022-06-28-asm-causes-error.c+9
0 commit comments