Add core features for error-guided search#54

Closed

misonijnik wants to merge 40 commits intoUnitTestBot:mainfrom

misonijnik:luban-features-only

Commits on Apr 20, 2023

[feat] Add core features for error-guided search
misonijnik
committed
[feat] Use `escapingFunctions`
misonijnik
committed
[fix] Remove reached targets for taregeted forests with any histories
misonijnik
committed
[feat] Add `NullCheckAfterDerefException` checker
misonijnik
committed
[refactor] Add `reportStateOnTargetError`
misonijnik
committed
[fix] Add recognizing "arm" as a 32-bit architecture
misonijnik
committed
Remove QF_AUFBV choosing for queries with constant arrays.

S1eGa
authored and
misonijnik
committed
[fix] Fix `WarnAllExternals` option
misonijnik
committed
[fix] Fix `NullCheckAfterDeref` checker
misonijnik
committed
[fix] `prepareSymbolicValue`
misonijnik
committed
[fix] Handle `smt tactic failed` solver failure
misonijnik
committed
[fix] Fix segfault
misonijnik
committed
[fix] Small fixes
misonijnik
committed
[chore] Update .gitignore
misonijnik
committed
[fixme]
misonijnik
committed
[feat] Add mocks
misonijnik
committed
[fix] README
misonijnik
committed
[chore] Add headers for nlohmann::json and nonstd::optional
Victor Samoilov
committed
[feat] Add parser for .sarif files and python scripts for work with .sarif files
Victor Samoilov
committed
[feat] Add UnorderedTargetsSet and rewrite TargetForest using it
Victor Samoilov
committed
[feat] Add creation of TargetForest from SarifReport
Victor Samoilov
committed
[feat] Add confidence rate system and result's reports
Victor Samoilov
committed
[feat] Add `Industry` tests

misonijnik
authored and
Victor Samoilov
committed
[ci] Add z3 solver as required for `Industry` tests

misonijnik
authored and
Victor Samoilov
committed

Commits on Apr 25, 2023

[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