Skip to content

Actions: mrstanb/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
39 workflow runs
39 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1377 from goblint/issue_1376 options #179: Commit a119f3f pushed by mrstanb
March 5, 2024 09:42 21s master
master
March 5, 2024 09:42 21s
MemLeak: Do not consider unions options #178: Commit 666795f pushed by michael-schwarz
November 22, 2023 10:51 25s improve-valid-memtrack-for-single-threaded-programs
improve-valid-memtrack-for-single-threaded-programs
November 22, 2023 10:51 25s
Add test case that checking that analysis distinguishes between threa… options #177: Commit bc7694b pushed by jerhard
November 22, 2023 10:27 15s improve-multi-threaded-valid-memcleanup
improve-multi-threaded-valid-memcleanup
November 22, 2023 10:27 15s
Check in TheadAnalysis.return whether the return is actually a thread… options #176: Commit 585a65d pushed by jerhard
November 22, 2023 10:13 15s improve-multi-threaded-valid-memcleanup
improve-multi-threaded-valid-memcleanup
November 22, 2023 10:13 15s
Add annotation of nowarn next to pthread_exit. options #175: Commit be9171b pushed by jerhard
November 22, 2023 10:04 21s improve-multi-threaded-valid-memcleanup
improve-multi-threaded-valid-memcleanup
November 22, 2023 10:04 21s
Remove call to free. options #174: Commit f12a392 pushed by jerhard
November 22, 2023 10:02 24s improve-multi-threaded-valid-memcleanup
improve-multi-threaded-valid-memcleanup
November 22, 2023 10:02 24s
Update tests/regression/76-memleak/16-no-mem-leak-thread-exit-main.c options #173: Commit c6cb63e pushed by jerhard
November 22, 2023 09:53 18s improve-multi-threaded-valid-memcleanup
improve-multi-threaded-valid-memcleanup
November 22, 2023 09:53 18s
Adapt cram test from #1258 to #1252 options #172: Commit 9c808c9 pushed by mrstanb
November 21, 2023 20:15 20s master
master
November 21, 2023 20:15 20s
Use AD.fold instead of List.fold_left options #171: Commit 9153eb3 pushed by mrstanb
November 21, 2023 20:04 16s improve-valid-memtrack-for-single-threaded-programs
improve-valid-memtrack-for-single-threaded-programs
November 21, 2023 20:04 16s
ThreadAnalysis: Handle pthread_exit like return from thread. options #170: Commit 645b03c pushed by jerhard
November 21, 2023 19:31 17s improve-multi-threaded-valid-memcleanup
improve-multi-threaded-valid-memcleanup
November 21, 2023 19:31 17s
Add testcases for thread return and pthread_exit in thread different … options #169: Commit 2fef812 pushed by jerhard
November 21, 2023 16:57 17s improve-multi-threaded-valid-memcleanup
improve-multi-threaded-valid-memcleanup
November 21, 2023 16:57 17s
Add test case with pthread_exit called in main, remove threadid analy… options #168: Commit 56c4d62 pushed by jerhard
November 21, 2023 16:41 21s improve-multi-threaded-valid-memcleanup
improve-multi-threaded-valid-memcleanup
November 21, 2023 16:41 21s
Add test case for memory leaking from a thead that is not joined, add… options #167: Commit 45ec8a6 pushed by jerhard
November 21, 2023 16:19 22s improve-multi-threaded-valid-memcleanup
improve-multi-threaded-valid-memcleanup
November 21, 2023 16:19 22s
Add example where better privatization helps options #166: Commit ca61360 pushed by michael-schwarz
November 21, 2023 09:22 24s improve-multi-threaded-valid-memcleanup
improve-multi-threaded-valid-memcleanup
November 21, 2023 09:22 24s
Add a few CWE-562 test cases options #165: Commit 4567e32 pushed by mrstanb
November 20, 2023 07:16 22s add-support-for-cwe-562
add-support-for-cwe-562
November 20, 2023 07:16 22s
Add options to produce warnings only for memory leaks options #164: Commit 8d55024 pushed by mrstanb
November 19, 2023 18:46 21s improve-multi-threaded-valid-memcleanup
improve-multi-threaded-valid-memcleanup
November 19, 2023 18:46 21s
Add a few more test cases options #163: Commit 987795e pushed by mrstanb
November 19, 2023 18:26 38s improve-multi-threaded-valid-memcleanup
improve-multi-threaded-valid-memcleanup
November 19, 2023 18:26 38s
Fix memtrack for multi-threaded case options #162: Commit e6cee27 pushed by michael-schwarz
November 19, 2023 18:02 20s improve-multi-threaded-valid-memcleanup
improve-multi-threaded-valid-memcleanup
November 19, 2023 18:02 20s
Cleanup options #161: Commit e7d6302 pushed by michael-schwarz
November 19, 2023 17:49 19s improve-multi-threaded-valid-memcleanup
improve-multi-threaded-valid-memcleanup
November 19, 2023 17:49 19s
Make sound by accounting for alloc in global invariant options #160: Commit ada8491 pushed by michael-schwarz
November 19, 2023 17:14 23s improve-multi-threaded-valid-memcleanup
improve-multi-threaded-valid-memcleanup
November 19, 2023 17:14 23s
Merge branch 'master' into improve-multi-threaded-valid-memcleanup options #159: Commit 0655fd6 pushed by michael-schwarz
November 19, 2023 16:41 20s improve-multi-threaded-valid-memcleanup
improve-multi-threaded-valid-memcleanup
November 19, 2023 16:41 20s
Don't forget to prepend to acc when collecting globally reachable mem options #158: Commit 0e09d09 pushed by mrstanb
November 19, 2023 16:37 15s improve-valid-memtrack-for-single-threaded-programs
improve-valid-memtrack-for-single-threaded-programs
November 19, 2023 16:37 15s
Add unsound example options #157: Commit af9ddc7 pushed by michael-schwarz
November 19, 2023 16:36 20s improve-multi-threaded-valid-memcleanup
improve-multi-threaded-valid-memcleanup
November 19, 2023 16:36 20s
Use unrollType for non-pointer global struct vars options #156: Commit f2ca6d1 pushed by mrstanb
November 19, 2023 16:33 15s improve-valid-memtrack-for-single-threaded-programs
improve-valid-memtrack-for-single-threaded-programs
November 19, 2023 16:33 15s
IsMallocCalled should be may options #155: Commit 720cfee pushed by michael-schwarz
November 19, 2023 16:32 16s improve-multi-threaded-valid-memcleanup
improve-multi-threaded-valid-memcleanup
November 19, 2023 16:32 16s