Commit b399e64

authored and

committed

Add annotations implementation:

- Merge args for external calls - Add config example in config/annotations.json

1 parent 9b1cd71 commit b399e64Copy full SHA for b399e64

83 files changed

+3998

-785

lines changed

.github/workflows
- build.yaml
configs
- annotations.json
- options.json
include/klee
- Core
  - Interpreter.h
  - MockBuilder.h
- Expr
- Module
  - Annotation.h
  - SarifReport.h
- Support
  - OptionCategories.h
lib
- Core
- Expr
- Module
  - Annotation.cpp
- Solver
  - Z3Builder.cpp
  - Z3Builder.h
runtime/Mocks
- models.c
scripts
- kleef
- run_tests_with_mocks.py
test
tools/klee
- main.cpp
unittests/Annotations
- AnnotationsTest.cpp

83 files changed

+3998

-785

lines changed

`‎.github/workflows/build.yaml`

-1

-Original file line number
+Diff line change
     runs-on: macos-latest
     env:
       BASE: /tmp
 -      LLVM_VERSION: 11
       SOLVERS: STP
       UCLIBC_VERSION: 0
       USE_TCMALLOC: 0

Comments

(0)