Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth
Amir Kafshdar Goharshady, Ahmed Khaled Zaher
Topics & Concepts
Computer scienceTreewidthPreprocessorCall graphTime complexityTheoretical computer scienceControl flowGraphAlgorithmProgramming languagePathwidthLine graphParallel Computing and Optimization TechniquesSoftware Testing and Debugging TechniquesAdvanced Malware Detection Techniques