You can likely find more through references here: https://www.nist.gov/itl/ssd/software-quality-group/static-analysis-tool-exposition-sate-vi-workshop https://w

You can likely find more through references here: https://www.nist.gov/itl/ssd/software-quality-group/static-analysis-tool-exposition-sate-vi-workshop https://www.nist.gov/itl/ssd/software-quality-group/static-a...