-
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
46/94: Invalidation on thread creation brokenrelationalRelational analyses (Apron, affeq, lin2var)Relational analyses (Apron, affeq, lin2var)Status: Open.#2098 In goblint/analyzer;sem.malloc.failmakes memory leak analysis less precisesv-compSV-COMP (analyses, results), witnessesSV-COMP (analyses, results), witnessesStatus: Open.sem.malloc.failaffectsallocasv-compSV-COMP (analyses, results), witnessesSV-COMP (analyses, results), witnessesStatus: Open.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.- Status: Open.#1986 In goblint/analyzer;
Allow analyses to not have their own bottom element but rely on Deadcode for that
cleanupRefactoring, clean-upRefactoring, clean-upStatus: Open.#1978 In goblint/analyzer;