Search results

Any way to support LLVM20 .bc ?

Status: Open.

#169 In SVF-tools/Test-Suite;

· 20urc3 opened on Jun 12, 2025

Struct test case in fs_test(flow sensitive test)

Status: Open.

#168 In SVF-tools/Test-Suite;

· Yujinmon opened on May 22, 2025

Failing Test Suite

Status: Open.

#94 In SVF-tools/Test-Suite;

· MartinNowack opened on Dec 1, 2022

The assertion MUSTALIAS(m, n) in basic_c_test\CI-funptr.c should be MAYALIAS only?

Status: Open.

#34 In SVF-tools/Test-Suite;

· taquangtrung opened on Feb 1, 2021

The assertion MUSTALIAS(d,&obj) in cs_test/cs9.c should be MAYALIAS?

Status: Open.

#33 In SVF-tools/Test-Suite;

· taquangtrung opened on Feb 1, 2021

what's the SVF command option for path-sensitive test cases

Status: Open.

#32 In SVF-tools/Test-Suite;

· KunPengRen opened on Jan 21, 2021

The second assertion MAYALIAS(z, &amp;obj1) of <code>cs_tests/cs8.c</code> should be NOALIAS?

Status: Open.

#30 In SVF-tools/Test-Suite;

· taquangtrung opened on Nov 18, 2020

Non-terminating recursive call before assertions in <code>cs_tests/recur10.c</code>

Status: Open.

#29 In SVF-tools/Test-Suite;

· taquangtrung opened on Nov 18, 2020

The EXPECTEDFAIL_NOALIAS in <code>cs_tests/recur9.c</code> should be NOALIAS?

Status: Open.

#28 In SVF-tools/Test-Suite;

· taquangtrung opened on Nov 18, 2020

Two MAYALIAS in <code>cs_tests/recur8.c</code> should be NOALIAS?

Status: Open.

#26 In SVF-tools/Test-Suite;

· taquangtrung opened on Nov 18, 2020

Assertions in the non-terminating case of <code>cs_tests/recur6.c</code> could not be reached

Status: Open.

#25 In SVF-tools/Test-Suite;

· taquangtrung opened on Nov 17, 2020

The last assertion of <code>cs_tests/recur5.c</code> should be NOALIAS?

Status: Open.

#24 In SVF-tools/Test-Suite;

· taquangtrung opened on Nov 17, 2020