Add error-guided search#83

Merged

misonijnik merged 41 commits intomainfrom

luban-features-only

Apr 30, 2023

Commits on Apr 20, 2023

Commits on Apr 28, 2023

[feat] Add mocks
misonijnik
committed
[chore] Add headers for nlohmann::json and nonstd::optional

Victor Samoilov
authored and
misonijnik
committed
[feat] Add parser for .sarif files and python scripts for work with .sarif files

Victor Samoilov
authored and
misonijnik
committed
[feat] Add UnorderedTargetsSet and rewrite TargetForest using it

Victor Samoilov
authored and
misonijnik
committed
[feat] Add creation of TargetForest from SarifReport

Victor Samoilov
authored and
misonijnik
committed
[feat] Add confidence rate system and result's reports

Victor Samoilov
authored and
misonijnik
committed
[feat] Add `Industry` tests
misonijnik
committed
[ci] Add z3 solver as required for `Industry` tests
misonijnik
committed
[fix] `ConcretizingSolver`
misonijnik
committed
[fix] Assignment
misonijnik
committed
Add null deref error for infer and cppcheck

Victor Samoilov
authored and
misonijnik
committed
Add support of all our errors for infer/cppcheck/clang, remove unused method in guided searcher, make set of errors instead one error, add additional UseAfterFree triggers (temporarily)

Victor Samoilov
authored and
misonijnik
committed
Add opportunity to provide additional metadata in threadFlowLocation

Victor Samoilov
authored and
misonijnik
committed
Remove unused subtract_confidences_from in TargetForest, fix problem when we output result for one trace several times

Victor Samoilov
authored and
misonijnik
committed
Remake divideConfidenceBy

Victor Samoilov
authored and
misonijnik
committed
Add first version for traversability check under the flag

Victor Samoilov
authored and
misonijnik
committed
Fix problem, when output True Positive for one trace several times

Victor Samoilov
authored and
misonijnik
committed
Change condition for useAterFree triggers

Victor Samoilov
authored and
misonijnik
committed
Fix searcher and target forest

Victor Samoilov
authored and
misonijnik
committed
Add additional supported ruleId for Infer and NullPointerException

Victor Samoilov
authored and
misonijnik
committed
Add resolving entry function using codeFlowGraph and filtering locations in reports

Victor Samoilov
authored and
misonijnik
committed
Move optional.hpp and json.hpp to submodules

Victor Samoilov
authored and
misonijnik
committed
[ci] Update build.yml
misonijnik
committed
[fix] Error parsing
misonijnik
committed
[fix] `TargetedSearcher` optimization
misonijnik
committed
[fix] Actually skip trace, if can't resolve entry function

Victor Samoilov
authored and
misonijnik
committed

Commits on Apr 30, 2023

[refactor] Put things in order
misonijnik
committed