Search results

sdv fails if project target name has spaces

Status: Open.

#53 In microsoft/Static-Module-Verifier;

· apmattil opened on Nov 10, 2023

SMV-AV: Smv local (no cloud) crashes when any of procedures times out

Status: Open.

#27 In microsoft/Static-Module-Verifier;

· shuvendu-lahiri opened on Nov 22, 2017

SMV-AV: Option to SMV to only add procedures in source file in a CFG

Status: Open.

#24 In microsoft/Static-Module-Verifier;

· shuvendu-lahiri opened on Jun 19, 2017

SMV-AV: Li2Bpl skips procedures that crash during translation

Status: Open.

#22 In microsoft/Static-Module-Verifier;

· shuvendu-lahiri opened on Apr 26, 2017

SMV-AV: Redefining NT_VERIFY and procedure replication

Status: Open.

#20 In microsoft/Static-Module-Verifier;

· shuvendu-lahiri opened on Apr 6, 2017

SMV-AV:Portable defect traces in SMV with AV

Status: Open.

#14 In microsoft/Static-Module-Verifier;

· shuvendu-lahiri opened on Feb 22, 2017