QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking

2020 ◽  
pp. 21-32
Author(s):  
Marko Kleine Büning ◽  
Carsten Sinz ◽  
David Faragó
Keyword(s):  
Model Checking ◽  
Static Analysis ◽  
Embedded Software ◽  
Bounded Model Checking ◽  
Analysis Tool ◽  
Static Analysis Tool

SharpChecker: Static analysis tool for C# programs

2017 ◽  
Vol 43 (4) ◽  
pp. 268-276 ◽  
Author(s):  
V. K. Koshelev ◽  
V. N. Ignatiev ◽  
A. I. Borzilov ◽  
A. A. Belevantsev
Keyword(s):  
Static Analysis ◽  
Analysis Tool ◽  
C Programs ◽  
Static Analysis Tool

FPGA-based static analysis tool for detecting malicious binaries

2010 ◽  
Author(s):  
Nitesh B. Guinde ◽  
Xin Tang ◽  
Ronak Sutaria ◽  
Sotirios G. Ziavras ◽  
Constantine N. Manikopoulos
Keyword(s):  
Static Analysis ◽  
Analysis Tool ◽  
Static Analysis Tool

Constantine: configurable static analysis tool in Eclipse

2012 ◽  
Vol 44 (5) ◽  
pp. 537-563
Author(s):  
Makarand Gawade ◽  
K. Ravikanth ◽  
Sanjeev Aggarwal
Keyword(s):  
Static Analysis ◽  
Analysis Tool ◽  
Static Analysis Tool

scholarly journals How Developers Diagnose Potential Security Vulnerabilities with a Static Analysis Tool

2019 ◽  
Vol 45 (9) ◽  
pp. 877-897 ◽  
Author(s):  
Justin Smith ◽  
Brittany Johnson ◽  
Emerson Murphy-Hill ◽  
Bill Chu ◽  
Heather Richter Lipford
Keyword(s):  
Static Analysis ◽  
Analysis Tool ◽  
Security Vulnerabilities ◽  
Static Analysis Tool
Sign in / Sign up

Export Citation Format

Share Document