This repository was archived by the owner on Jul 8, 2024. It is now read-only.

Repository navigation

This repository was archived by the owner on Jul 8, 2024. It is now read-only.

Issues

sdv fails if project target name has spaces
microsoft/Static-Module-Verifier#53 · opened on Nov 10, 2023
SMV-AV: Smv local (no cloud) crashes when any of procedures times out
microsoft/Static-Module-Verifier#27 · opened on Nov 22, 2017
SMV-AV: Option to SMV to only add procedures in source file in a CFG
microsoft/Static-Module-Verifier#24 · opened on Jun 19, 2017
SMV-AV: Li2Bpl skips procedures that crash during translation
microsoft/Static-Module-Verifier#22 · opened on Apr 26, 2017
SMV-AV: Redefining NT_VERIFY and procedure replication
microsoft/Static-Module-Verifier#20 · opened on Apr 6, 2017
SMV-AV:Portable defect traces in SMV with AV
microsoft/Static-Module-Verifier#14 · opened on Feb 22, 2017
2