共 50 条
- [41] A Static Code Analysis Tool for Control System Software 2015 22ND INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION, AND REENGINEERING (SANER), 2015, : 459 - 463
- [43] SharpChecker: Static analysis tool for C# programs Programming and Computer Software, 2017, 43 : 268 - 276
- [44] A Static Microcode Analysis Tool for Programmable Load Drivers 2015 IEEE 15TH INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION (SCAM), 2015, : 265 - 270
- [45] A tool for static and dynamic model extraction and impact analysis Ninth European Conference on Software Maintenance and Reengineering, Proceedings, 2005, : 193 - 193
- [48] Searching for Taint Vulnerabilities with Svace Static Analysis Tool Programming and Computer Software, 2021, 47 : 466 - 481
- [49] Government Communication as a Policy Tool: A Framework for Analysis CANADIAN POLITICAL SCIENCE REVIEW, 2009, 3 (02): : 23 - 37