Search results

Symbiotic overlooks non-terminating loop in program with recursion

Status: Open.

#275 In staticafi/symbiotic;

· debugfe opened on Apr 30, 2026

Termination analysis: Wrong RESULT: true

Status: Open.

#274 In staticafi/symbiotic;

· debugfe opened on Feb 10, 2026

Termination analysis: Spurious alarm

bug

Status: Open.

Bug

#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