The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Interprocedural slicing using dependence graphs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Precise interprocedural chopping
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
IEEE Transactions on Software Engineering
Software Criticality Analysis of COTS/SOUP
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
A Pattern-Based Framework for Software Anomaly Detection
Software Quality Control
Equivalence checking between behavioral and RTL descriptions with virtual controllers and datapaths
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Model checking sequential software programs via mixed symbolic analysis
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Path projection for user-centered static analysis tools
Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
CS-XML and model understanding
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
CS-XML and model understanding
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Impact of maintainability defects on code inspections
Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement
Knowledge-centric and language independent framework for safety analysis tools
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Model-Based static code analysis for MATLAB models
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
| Hi-index | 0.00 |
Software inspection reduces the number of defects early in the software life cycle. Cost savings are realized because errors are significantly more expensive to eliminate with each successive development phase. An important part of the inspection process is a detailed inspection of the source code; this inspection usually follows a checklist. While many tools are available to manage the inspectionprocess, few tools support detailed code analysis. Recent advances in research on static program analysis can be used to address this aspect of software inspection. We describe a software tool, named CodeSurfer, that reveals fine-grained details of the semantics of the program being analyzed. CodeSurfer statically analyzes the entire program and produces a dependence-graph representation of the program. The tool's utility is illustrated with inspection examples taken from NASA's Formal Inspection Guidebook.