The duality in computing SSA programs and control dependency
AN Masud - IEEE Transactions on Software Engineering, 2022 - ieeexplore.ieee.org
Control dependency (CD) and Static Single Assignment (SSA) form are the basis of many
program analyses, transformation, and optimization techniques, and these are implemented …
program analyses, transformation, and optimization techniques, and these are implemented …
[HTML][HTML] Efficient computation of minimal weak and strong control closure
AN Masud - Journal of Systems and Software, 2022 - Elsevier
Control dependency is a fundamental concept in many program analyses, transformation,
parallelization, and compiler optimization techniques. An overwhelming number of …
parallelization, and compiler optimization techniques. An overwhelming number of …
On the computation of interprocedural weak control closure
Many program analysis techniques depend on capturing the control dependencies of the
program. Most existing control dependence algorithms either compute intraprocedural …
program. Most existing control dependence algorithms either compute intraprocedural …
Fast and incremental computation of weak control closure
AN Masud - International Static Analysis Symposium, 2022 - Springer
Control dependence is a fundamental concept used in many program analysis techniques
such as program slicing, program debugging, program parallelization, and detecting security …
such as program slicing, program debugging, program parallelization, and detecting security …
[PDF][PDF] Û¡¢£¤¥¦ § ª «¬ Ʊ²³µ· ¹º» ¼½¾¿ Ý ÄÜß
M Chalupa - 2021 - is.muni.cz
There are many formal methods for proving or disproving various properties of programs
(eg, that all assertions in a program hold). One such method is symbolic execution that …
(eg, that all assertions in a program hold). One such method is symbolic execution that …