Skip to content

Activity

Showing most recent first

Merge pull request goblint#1377 from goblint/issue_1376

mrstanbpushed 902 commits to master • 9c808c9…a119f3f • 
on Mar 5, 2024

MemLeak: Do not consider unions

michael-schwarzpushed 1 commit to improve-valid-memtrack-for-single-threaded-programs • 9153eb3…666795f • 
on Nov 22, 2023

Add test case that checking that analysis distinguishes between threa…

jerhardpushed 1 commit to improve-multi-threaded-valid-memcleanup • 585a65d…bc7694b • 
on Nov 22, 2023

Check in TheadAnalysis.return whether the return is actually a thread…

jerhardpushed 1 commit to improve-multi-threaded-valid-memcleanup • be9171b…585a65d • 
on Nov 22, 2023

Add annotation of nowarn next to pthread_exit.

jerhardpushed 1 commit to improve-multi-threaded-valid-memcleanup • f12a392…be9171b • 
on Nov 22, 2023

Remove call to free.

jerhardpushed 1 commit to improve-multi-threaded-valid-memcleanup • c6cb63e…f12a392 • 
on Nov 22, 2023

Update tests/regression/76-memleak/16-no-mem-leak-thread-exit-main.c

jerhardpushed 1 commit to improve-multi-threaded-valid-memcleanup • 645b03c…c6cb63e • 
on Nov 22, 2023

Adapt cram test from goblint#1258 to goblint#1252

mrstanbpushed 490 commits to master • 3fd60ec…9c808c9 • 
on Nov 21, 2023

Use AD.fold instead of List.fold_left

mrstanbpushed 1 commit to improve-valid-memtrack-for-single-threaded-programs • 0e09d09…9153eb3 • 
on Nov 21, 2023

ThreadAnalysis: Handle pthread_exit like return from thread.

jerhardpushed 1 commit to improve-multi-threaded-valid-memcleanup • 2fef812…645b03c • 
on Nov 21, 2023

Add testcases for thread return and pthread_exit in thread different …

jerhardpushed 1 commit to improve-multi-threaded-valid-memcleanup • 56c4d62…2fef812 • 
on Nov 21, 2023

Add test case with pthread_exit called in main, remove threadid analy…

jerhardpushed 1 commit to improve-multi-threaded-valid-memcleanup • 45ec8a6…56c4d62 • 
on Nov 21, 2023

Add test case for memory leaking from a thead that is not joined, add…

jerhardpushed 2 commits to improve-multi-threaded-valid-memcleanup • ca61360…45ec8a6 • 
on Nov 21, 2023

Add example where better privatization helps

michael-schwarzpushed 1 commit to improve-multi-threaded-valid-memcleanup • 8d55024…ca61360 • 
on Nov 21, 2023

Add a few CWE-562 test cases

mrstanbcreated add-support-for-cwe-562 • 4567e32 • 
on Nov 20, 2023

Add options to produce warnings only for memory leaks

mrstanbpushed 1 commit to improve-multi-threaded-valid-memcleanup • 987795e…8d55024 • 
on Nov 19, 2023

Add a few more test cases

mrstanbpushed 2 commits to improve-multi-threaded-valid-memcleanup • e6cee27…987795e • 
on Nov 19, 2023

Fix memtrack for multi-threaded case

michael-schwarzpushed 1 commit to improve-multi-threaded-valid-memcleanup • e7d6302…e6cee27 • 
on Nov 19, 2023

Cleanup

michael-schwarzpushed 1 commit to improve-multi-threaded-valid-memcleanup • ada8491…e7d6302 • 
on Nov 19, 2023

Make sound by accounting for alloc in global invariant

michael-schwarzpushed 1 commit to improve-multi-threaded-valid-memcleanup • 0655fd6…ada8491 • 
on Nov 19, 2023

Merge branch 'master' into improve-multi-threaded-valid-memcleanup

michael-schwarzpushed 453 commits to improve-multi-threaded-valid-memcleanup • af9ddc7…0655fd6 • 
on Nov 19, 2023

Don't forget to prepend to acc when collecting globally reachable mem

mrstanbpushed 1 commit to improve-valid-memtrack-for-single-threaded-programs • f2ca6d1…0e09d09 • 
on Nov 19, 2023

Add unsound example

michael-schwarzpushed 1 commit to improve-multi-threaded-valid-memcleanup • 720cfee…af9ddc7 • 
on Nov 19, 2023

Use unrollType for non-pointer global struct vars

mrstanbpushed 1 commit to improve-valid-memtrack-for-single-threaded-programs • 80492cc…f2ca6d1 • 
on Nov 19, 2023

IsMallocCalled should be may

michael-schwarzpushed 1 commit to improve-multi-threaded-valid-memcleanup • 7289ec3…720cfee • 
on Nov 19, 2023

Check that addresses in struct fields are singletons and not top

mrstanbpushed 1 commit to improve-valid-memtrack-for-single-threaded-programs • 6cc01b5…80492cc • 
on Nov 18, 2023

Use unrollType and GVarDecl for global vars

mrstanbpushed 1 commit to improve-valid-memtrack-for-single-threaded-programs • 8459104…6cc01b5 • 
on Nov 18, 2023

Use solely local state for multi-threaded valid-memcleanup

mrstanbpushed 1 commit to improve-multi-threaded-valid-memcleanup • c0fe89e…7289ec3 • 
on Nov 18, 2023

Add regr. test cases for multi-threaded valid-memcleanup

mrstanbcreated improve-multi-threaded-valid-memcleanup • c0fe89e • 
on Nov 16, 2023

Fix semgrep warning for using List.length for an emptiness check

mrstanbpushed 1 commit to improve-valid-memtrack-for-single-threaded-programs • 0bec1ac…8459104 • 
on Nov 15, 2023