Related Experiment Video
Updated: Apr 17, 2026

Author Spotlight: Streamlining Visual Dynamics to Simplify Molecular Dynamics Simulations Using Gromacs
Published on: August 9, 2024
Supporting secure programming in web applications through interactive static analysis
Jun Zhu1, Jing Xie1, Heather Richter Lipford1
1Department of Software and Information Systems, University of North Carolina at Charlotte, Charlotte, NC 28223, USA.
Interactive static analysis tools help developers prevent software vulnerabilities by integrating security checks directly into their coding environment. This approach requires no special training, making secure programming more accessible.
Area of Science:
- Software Engineering
- Cybersecurity
- Computer Science
Background:
- Software vulnerabilities are frequently caused by developers not following secure coding practices.
- Existing static analysis tools require specialized training for rule customization, limiting their adoption.
- Knowledgeable developers often introduce vulnerabilities due to lapses in secure programming.
Purpose of the Study:
- To develop an interactive static analysis approach for in-situ secure programming support.
- To integrate static analysis directly into the Integrated Development Environment (IDE) for seamless vulnerability detection.
- To reduce the need for specialized training in secure coding practices.
Main Methods:
- Developed a prototype interactive static analysis tool as a plug-in for the Eclipse IDE.
- Focused on providing real-time, in-situ secure programming assistance during code construction.
- Evaluated the tool's effectiveness in detecting vulnerabilities without requiring application-specific rule customization.
Main Results:
- The prototype successfully detected multiple zero-day vulnerabilities in a large open-source project.
- The interactive approach demonstrated effectiveness in identifying security flaws during development.
- False positives were observed to be limited to a very small subset of use cases.
Conclusions:
- Interactive static analysis offers a practical solution to enhance secure programming practices.
- Integrating security support into IDEs can significantly aid developers in preventing vulnerabilities.
- The developed tool shows promise for widespread adoption due to its ease of use and effectiveness.
Related Concept Videos
Constraints and Statical Determinacy
Guidelines and Strategies for Safe Computer Charting
Maintain Confidentiality and Security:
Types of Errors: Detection and Minimization
Absolute error in a measurement is the numerical difference from the true or central value. Relative error is the ratio between absolute error and the true or central value, expressed as a percentage.
Errors can be classified by source, magnitude, and sign. There are three types of errors: systematic, random, and gross.
Systematic or...
Statically Indeterminate Problem Solving
Quality Assurance
Development of Analytical Methods

