Search results

C frontend recursive struct parsing

bug

Status: Open.

#459 In ftsrg/theta;

· csanadtelbisz opened on Nov 28, 2025

(XCFA) trace builder

xcfaIssue is XCFA specific (not core or XSTS or other formalisms)Issue is XCFA specific (not core or XSTS or other formalisms)

Status: Open.

#457 In ftsrg/theta;

· csanadtelbisz opened on Nov 27, 2025

Refactor metadata & witness writer(s)

xcfaIssue is XCFA specific (not core or XSTS or other formalisms)Issue is XCFA specific (not core or XSTS or other formalisms)

Status: Open.

Task

#452 In ftsrg/theta;

· AdamZsofi opened on Nov 24, 2025

Re-add summaries into trace generation

enhancement

Status: Open.

#451 In ftsrg/theta;

· AdamZsofi opened on Nov 24, 2025

Unsupported macros/functions

Status: Open.

#449 In ftsrg/theta;

· leventeBajczi opened on Nov 22, 2025

Data race check memory location incomplete dereferences

bug

Status: Open.

#446 In ftsrg/theta;

· csanadtelbisz opened on Nov 20, 2025

Incorrect results on 3 multithread to monolithic tasks with references

bug

Status: Open.

#442 In ftsrg/theta;

· mondokm opened on Nov 19, 2025

UnsupportedInitializer proper handling

bug

Status: Open.

#441 In ftsrg/theta;

· csanadtelbisz opened on Nov 19, 2025

Termination analysis: Wrong result

Status: Open.

#432 In ftsrg/theta;

· pwnchaser opened on Nov 13, 2025

Integer promotion and overflows

svcomp

Status: Open.

#423 In ftsrg/theta;

· leventeBajczi opened on Nov 8, 2025

<code>BOUNDED_UNROLLING</code> causes wrong results

bug

Status: Open.

#417 In ftsrg/theta;

· leventeBajczi opened on Nov 1, 2025

Move liveness property (acceptance predicate) from XCFA to more appropriate place

enhancement

Status: Open.

#414 In ftsrg/theta;

· AdamZsofi opened on Oct 30, 2025