Metrinome: Path Complexity Predicts Symbolic Execution Path Explosion

Gabriel Bessler,Josh Cordova,Shaheen Cullen-Baratloo,Sofiane Dissem, Emily Lu, Sofia Devin, Ibrahim Abughararh,Lucas Bang

2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)（2021）

引用 3|浏览7

暂无评分

摘要

This paper presents METRINOME, a tool for performing automatic path complexity analysis of C functions. The path complexity of a function is an expression that describes the number of paths through the function up to a given execution depth. METRINOME constructs the control flow graph (CFG) of a C function using LLVM utilities, analyzes that CFG using algebraic graph theory and analytic combinator...

查看译文

关键词

Measurement,Tools,Graph theory,Complexity theory,Flow graphs,Open source software,Software engineering

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要