Skip to content

Add core features for error-guided search#54

Closed
misonijnik wants to merge 40 commits intoUnitTestBot:mainfrom
misonijnik:luban-features-only
Closed

Add core features for error-guided search#54
misonijnik wants to merge 40 commits intoUnitTestBot:mainfrom
misonijnik:luban-features-only

Conversation

@misonijnik
Copy link
Collaborator

@misonijnik misonijnik commented Feb 15, 2023 •
edited
Loading

Summary:

Checklist:

  • The PR addresses a single issue. If it can be divided into multiple independent PRs, please do so.
  • The PR is divided into a logical sequence of commits OR a single commit is sufficient.
  • There are no unnecessary commits (e.g. commits fixing issues in a previous commit in the same PR).
  • Each commit has a meaningful message documenting what it does.
  • All messages added to the codebase, all comments, as well as commit messages are spellchecked.
  • The code is commented OR not applicable/necessary.
  • The patch is formatted via clang-format OR not applicable (if explicitly overridden leave unchecked and explain).
  • There are test cases for the code you added or modified OR no such test cases are required.

@misonijnik misonijnik force-pushed the main branch 2 times, most recently from 8da601a to df4c3f7 Compare February 15, 2023 15:09
@misonijnik misonijnik changed the base branch from main to utbot-main February 15, 2023 15:17
@misonijnik misonijnik changed the base branch from utbot-main to main February 15, 2023 15:18
@misonijnik misonijnik force-pushed the luban-features-only branch 4 times, most recently from d5a9df9 to a5890df Compare February 15, 2023 20:58
@misonijnik misonijnik changed the title [feat] Add core features for error-guided search Add core features for error-guided search Feb 27, 2023
@misonijnik misonijnik force-pushed the luban-features-only branch from a5890df to e279672 Compare March 1, 2023 09:58
@misonijnik misonijnik force-pushed the luban-features-only branch 2 times, most recently from 3d71e64 to 686ddc8 Compare March 7, 2023 10:41
@misonijnik misonijnik force-pushed the luban-features-only branch 6 times, most recently from 7098e0d to 0d93e00 Compare April 16, 2023 16:11
@misonijnik misonijnik force-pushed the luban-features-only branch from 98386ca to fcd58c7 Compare April 20, 2023 13:04
@misonijnik misonijnik force-pushed the luban-features-only branch from fcd58c7 to 40f00d0 Compare April 20, 2023 13:33
@misonijnik misonijnik force-pushed the luban-features-only branch 4 times, most recently from 87a1590 to f0d8a68 Compare April 25, 2023 17:17
misonijnik and others added 15 commits April 25, 2023 21:17
@misonijnik
[fix] Assignment
27aae99
@misonijnik
Add null deref error for infer and cppcheck
290be20
@misonijnik
Add support of all our errors for infer/cppcheck/clang, remove unused…
38b6271 
… method in guided searcher, make set of errors instead one error, add additional UseAfterFree triggers (temporarily)
@misonijnik
Add opportunity to provide additional metadata in threadFlowLocation
b0e329c
@misonijnik
Remove unused subtract_confidences_from in TargetForest, fix problem …
59ca073 
…when we output result for one trace several times
@misonijnik
Remake divideConfidenceBy
737bac2
@misonijnik
Add first version for traversability check under the flag
f0c111a
@misonijnik
Fix problem, when output True Positive for one trace several times
f820f19
@misonijnik
Change condition for useAterFree triggers
02512e8
@misonijnik
Fix searcher and target forest
390581e
@misonijnik
Add additional supported ruleId for Infer and NullPointerException
30e6218
@misonijnik
Add resolving entry function using codeFlowGraph and filtering locati…
5667797 
…ons in reports
@misonijnik
Move optional.hpp and json.hpp to submodules
f0d8a68
@misonijnik
[ci] Update build.yml
fdac2b4
@misonijnik
[fix] Error parsing
277db71
@misonijnik misonijnik closed this Apr 25, 2023
@misonijnik misonijnik mentioned this pull request Apr 25, 2023
Merged
8 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@misonijnik @S1eGa