Search results

Termination analysis: Spurious alarm

Status: Open.

#268 In staticafi/symbiotic;

· debugfe opened on Oct 21, 2025

Predator error in binaries provided through zenodo

Status: Open.

#256 In staticafi/symbiotic;

· metamaterialsuit opened on Dec 13, 2024

Stop generating LLVM IR with the optnone attribute

Status: Open.

#253 In staticafi/symbiotic;

· vmihalko opened on Jan 31, 2024

Combining --undefined-are-pure and --exit-on-error causes missed error

Status: Open.

#250 In staticafi/symbiotic;

· Novak756 opened on Sep 27, 2023

Undefined-are-pure causes slicer error

Status: Open.

#249 In staticafi/symbiotic;

· Novak756 opened on Sep 27, 2023

Symbiotic missing an error

Status: Open.

#248 In staticafi/symbiotic;

· andrea1775 opened on Sep 22, 2023

Error-call detection depends on order of array initialisation

Status: Open.

#247 In staticafi/symbiotic;

· Novak756 opened on Sep 7, 2023

Implicit array initialisation

Status: Open.

#246 In staticafi/symbiotic;

· Novak756 opened on Aug 16, 2023

build.sh uses git protocol

Status: Open.

#245 In staticafi/symbiotic;

· baalIsBack opened on Apr 12, 2023

Bug: Unknown-Err on certain programs with AssertionErrors + Exceptions in Log

Status: Open.

#244 In staticafi/symbiotic;

· blizzard4591 opened on Feb 20, 2023

Create and use a fork of DG

Status: Open.

#243 In staticafi/symbiotic;

· mchalupa opened on Jan 4, 2023

Build fails when with-llvm=... is supplied

Status: Open.

#233 In staticafi/symbiotic;

· yurivict opened on Oct 10, 2022