Information-flow and data-flow analysis of while-programs
From MaRDI portal
Recommendations
Cited in
(28)- Dynamic program slicing
- A logic-based approach to program flow analysis
- Description of input and output data of programs fragments
- Inferring secrets by guided experiments
- Information flow for Algol-like languages
- Optimality and condensing of information flow through linear refinement
- A theory for execution-time derivation in real-time programs
- Types versus PDGs in information flow analysis
- Heuristics for safety and security constraints
- From exponential to polynomial-time security typing via principal types
- Implicit flows in malicious and nonmalicious code
- scientific article; zbMATH DE number 3874581 (Why is no real title available?)
- On detecting environment sensitivity using slicing
- AIDA–A dynamic data flow anomaly detection system for pascal programs
- scientific article; zbMATH DE number 2019847 (Why is no real title available?)
- scientific article; zbMATH DE number 2079872 (Why is no real title available?)
- Can you trust your data?
- Theoretical Aspects of Computing – ICTAC 2005
- Morphology of ``Information Flow
- Verification, Model Checking, and Abstract Interpretation
- Using dependence graphs to assist verification and testing of information-flow properties
- Abstract semantic dependency
- A theory of fine-grained lineage for functions on structured objects
- A demonstrably correct compiler
- \textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results
- Compile-time detection of information flow in sequential programs
- A logic for information flow analysis with an application to forward slicing of simple imperative programs
- An integrated approach to high integrity software verification
This page was built for publication: Information-flow and data-flow analysis of while-programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5184379)
