DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Static program analysis
Static program analysis
Static Analysis the Workhorse of a End-To-End Securitye Testing Strategy
Precise and Scalable Static Program Analysis of NASA Flight Software
Static Program Analysis Via 3-Valued Logic
Opportunities and Open Problems for Static and Dynamic Program Analysis Mark Harman∗, Peter O’Hearn∗ ∗Facebook London and University College London, UK
DEVELOPING SECURE SOFTWARE T in an AGILE PROCESS Dejan
Using Static Program Analysis to Aid Intrusion Detection
Engineering of Reliable and Secure Software Via Customizable Integrated Compilation Systems
Introduction to Static Analysis
Automated Large-Scale Multi-Language Dynamic Program
An Efficient and Scalable Platform for Java Source Code Analysis Using Overlaid Graph Representations
Postprocessing of Static Analysis Alarms
Seminar 6 - Static Code Analysis
Testing Code
Incremental Static Analysis of Large Source Code Repositories
Static Program Analysis for Performance Modeling
Rapid Development of Flexible and Efficient Dynamic Program
Enabling Static Program Analysis Using a Graph Database
A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring
Top View
Welcome to Software Analysis and Testing. in This Course, We Will Be Diving Deep Into the Theory and Practice of Software Analys
Static Analysis, Race Freedom ACM Reference Format: Sam Blackshear, Nikos Gorogiannis, Peter W
Program Analysis and Compilation Techniques for Speeding up Transactional Database Workloads
Security Applications of Static Program Analysis
Droidpatrol: a Static Analysis Plugin for Secure Mobile Software Development
Static Program Analysis Based on Virtual Register Renaming
A Modular and Symbolic Approach to Static Program Analysis
JITANA: a Modern Hybrid Program Analysis Framework for Android Platforms
On the Combination of Static Analysis for Software Security
Dynamic Analysis for Javascript Code
Analyzing the State of Static Analysis: a Large-Scale Evaluation in Open Source Software
Static Program Analysis
J. Laski, W. Stanley Software Verification and Analysis an Integrated, Hands-On Approach
Analyzing the State of Static Analysis: a Large-Scale Evaluation in Open Source Software
Program Analysis As Machine Learning
Statically Checking Web API Requests in Javascript
Modular Static Program Analysis ⋆
Static Program Analysis
Topics Course Requirements Course Structure Guest Lectures Outline
On Combining Static, Dynamic and Interactive Analysis Security Testing Tools to Improve OWASP Top Ten Security Vulnerability Detection in Web Applications
Dlint: Dynamically Checking Bad Coding Practices in Javascript
Static Analysis Techniques and Tools: a Systematic Mapping Study
Is Static Analysis Successful?
Software Model Checking Via Static and Dynamic Program Analysis
Mandating Memory Safety: the Time Is Now
Static Program Analysis: What Is It and How It Is Used
Comparing Model Checking and Static Program Analysis: a Case Study in Error Detection Approaches
Bouncer: Static Program Analysis in Hardware
Static Analysis for Software Verification
Software Metrics in Static Program Analysis
THE POWER of FEEDBACK LOOPS Hello! I Am Luca Mezzalira
VART: a Tool for the Automatic Detection of Regression Faults∗