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;

· Vincent4AI opened on Jan 21, 2021

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

Status: Open.

#30 In SVF-tools/Test-Suite;

· taquangtrung opened on Nov 18, 2020

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

Status: Open.

#29 In SVF-tools/Test-Suite;

· taquangtrung opened on Nov 18, 2020

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

Status: Open.

#28 In SVF-tools/Test-Suite;

· taquangtrung opened on Nov 18, 2020

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

Status: Open.

#26 In SVF-tools/Test-Suite;

· taquangtrung opened on Nov 18, 2020

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

Status: Open.

#25 In SVF-tools/Test-Suite;

· taquangtrung opened on Nov 17, 2020

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

Status: Open.

#24 In SVF-tools/Test-Suite;

· taquangtrung opened on Nov 17, 2020