Interprocedural def-use associations for C systems with single level pointers

DOI10.1109/32.286418MaRDI QIDQ4302744zbMATH OpenOpenAlexWikidataFDO

Authors H. D. Pande, William A. Landi, Barbara G. Ryder

Publication date 29 September 1994

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/370cd51cc886c32bbeb1a54a917a861f0b323b4d

zbMATH Keywords

aliasingdef-use associationspolynomial-time algorithm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2103903
• Data dependence analysis in programs with pointers
• On the non-approximability of points-to analysis
• Precise interprocedural dataflow analysis with applications to constant propagation

Cited in

(1)

• Towards efficient data-flow test data generation

This page was built for publication: Interprocedural def-use associations for C systems with single level pointers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4302744)