-
Notifications
You must be signed in to change notification settings - Fork 89
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Invalid widen exception due to
reflexive_compareof patricia-treeupstreamIssue in dependency, needs fix upstreamIssue in dependency, needs fix upstreamStatus: Open.#2110 In goblint/analyzer;Unsound collapsing of different struct blobs
sv-compSV-COMP (analyses, results), witnessesSV-COMP (analyses, results), witnessesStatus: Open.- Status: Open.
Unexpected verdict changes in sv-benchmarks due to
safe_mallocsv-compSV-COMP (analyses, results), witnessesSV-COMP (analyses, results), witnessesStatus: Open.46/94: Invalidation on thread creation brokenrelationalRelational analyses (Apron, affeq, lin2var)Relational analyses (Apron, affeq, lin2var)Status: Open.#2098 In goblint/analyzer;Apron unsoundly retains relations for locals modified through an escaped pointer
relationalRelational analyses (Apron, affeq, lin2var)Relational analyses (Apron, affeq, lin2var)Status: Open.#2091 In goblint/analyzer;- Status: Open.#2074 In goblint/analyzer;
memOutOfBounds analysis ignores
StrPtrssv-compSV-COMP (analyses, results), witnessesSV-COMP (analyses, results), witnessesStatus: Open.- Status: Open.
pthreadSignals: Investigate usingMCPAccess.may_raceinstead of onlyMHPcleanupRefactoring, clean-upRefactoring, clean-upStatus: Open.#2023 In goblint/analyzer;- Status: Open.#2011 In goblint/analyzer;
Enable
exp.single-threadedin SV-COMP single-threaded autotunerperformanceAnalysis time, memory usageAnalysis time, memory usagesv-compSV-COMP (analyses, results), witnessesSV-COMP (analyses, results), witnessesStatus: Open.