Control flow graph visualization in compiled software engineering

Mikhailov, Andrey A.; Hmelnov, Alexei E.; Cherkashin, Evgeny; Bychkov, I. V.

doi:10.1109/mipro.2016.7522343

Cited by 2 publications

(1 citation statement)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Since CFGs capture syntactic and semantic features of the code, they are better at resisting changes in the code that manipulate source code in very minor ways, while not affecting the functionality of the program. For this reason, control flow graphs have been used in static analysis [31], fuzzing and test coverage tools [32], execution profiling [33,34], binary code analysis [35], malware analysis [36], and anomaly analysis [37].…”

Section: Background and Related Workmentioning

confidence: 99%

Scalable Source Code Similarity Detection in Large Code Repositories

Alomari

Harbi²

2019

ICST Transactions on Scalable Information Systems

View full text Add to dashboard Cite

Source code similarity are increasingly used in application development to identify clones, isolate bugs, and find copy-rights violations. Similar code fragments can be very problematic due to the fact that errors in the original code must be fixed in every copy. Other maintenance changes, such as extensions or patches, must be applied multiple times. Furthermore, the diversity of coding styles and flexibility of modern languages makes it difficult and cost ineffective to manually inspect large code repositories. Therefore, detection is only feasible by automatic techniques. We present an efficient and scalable approach for similar code fragment identification based on source code control flow graphs fingerprinting. The source code is processed to generate control flow graphs that are then hashed to create a unique fingerprint of the code capturing semantics as well as syntax similarity. The fingerprints can then be efficiently stored and retrieved to perform similarity search between code fragments. Experimental results from our prototype implementation supports the validity of our approach and show its effectiveness and efficiency in comparison with other solutions.

show abstract