Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-54804-8_15 ◽

2014 ◽

pp. 215-229 ◽

Author(s):

Pedro de Carvalho Gomes ◽

Attilio Picoco ◽

Dilian Gurov

Keyword(s):

Control Flow ◽

Control Flow Graph ◽

Java Bytecode ◽

Download Full-text

Sound Control-Flow Graph Extraction for Java Programs with Exceptions

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-33826-7_3 ◽

2012 ◽

pp. 33-47 ◽

Author(s):

Afshin Amighi ◽

Pedro de C. Gomes ◽

Dilian Gurov ◽

Marieke Huisman

Keyword(s):

Control Flow ◽

Control Flow Graph ◽

Sound Control ◽

Download Full-text

An overview of hierarchical control flow graph models

Winter Simulation Conference Proceedings, 1995. ◽

10.1109/wsc.1995.479046 ◽

2005 ◽

Author(s):

D.G. Fritz ◽

R.G. Sargent

Keyword(s):

Hierarchical Control ◽

Control Flow ◽

Control Flow Graph ◽

Graph Models ◽

Download Full-text

Control flow graph visualization in compiled software engineering

2016 39th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO) ◽

10.1109/mipro.2016.7522343 ◽

2016 ◽

Author(s):

Andrey Mikhailov ◽

Aleksey Hmelnov ◽

Evgeny Cherkashin ◽

Igor Bychkov

Keyword(s):

Software Engineering ◽

Control Flow ◽

Control Flow Graph ◽

Graph Visualization ◽

Download Full-text

Abstract Syntax Tree (AST) and Control Flow Graph (CFG) Construction of Notasi Algoritmik

10.1109/icodse53690.2021.9648437 ◽

2021 ◽

Author(s):

Irfan Sofyana Putra ◽

Satrio Adi Rukmono ◽

Riza Satria Perdana

Keyword(s):

Control Flow ◽

Control Flow Graph ◽

Abstract Syntax ◽

Abstract Syntax Tree ◽

Syntax Tree ◽

Download Full-text

Extended Control Flow Graph Based Performance Optimization Using Scratch-Pad Memory

10.1109/date.2005.150 ◽

2005 ◽

Author(s):

Pu Hanlai ◽

Ling Ming ◽

Jin Jing

Keyword(s):

Performance Optimization ◽

Control Flow ◽

Control Flow Graph ◽

Scratch Pad Memory

Download Full-text

Formal verification of control-flow graph flattening

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2016 ◽

10.1145/2854065.2854082 ◽

2016 ◽

Author(s):

Sandrine Blazy ◽

Alix Trieu

Keyword(s):

Formal Verification ◽

Control Flow ◽

Control Flow Graph ◽

Download Full-text

Identifying ATT&CK Tactics in Android Malware Control Flow Graph Through Graph Representation Learning and Interpretability

10.1109/bigdata52589.2021.9671343 ◽

2021 ◽

Author(s):

Jeffrey Fairbanks ◽

Andres Orbe ◽

Christine Patterson ◽

Janet Layne ◽

Edoardo Serra ◽

...

Keyword(s):

Representation Learning ◽

Control Flow ◽

Graph Representation ◽

Control Flow Graph ◽

Android Malware

Download Full-text

Selecting Computer Architectures by Means of Control-Flow-Graph Mining

Advances in Intelligent Data Analysis VIII - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03915-7_27 ◽

2009 ◽

pp. 309-320 ◽

Author(s):

Frank Eichinger ◽

Klemens Böhm

Keyword(s):

Graph Mining ◽

Control Flow ◽

Computer Architectures ◽

Control Flow Graph ◽

Download Full-text

CVSSA: Cross-Architecture Vulnerability Search in Firmware Based on Support Vector Machine and Attributed Control Flow Graph

2017 International Conference on Dependable Systems and Their Applications (DSA) ◽

10.1109/dsa.2017.15 ◽

2017 ◽

Author(s):

Hong Lin ◽

Dongdong Zhao ◽

Linjun Ran ◽

Mushuai Han ◽

Jing Tian ◽

...

Keyword(s):

Support Vector Machine ◽

Control Flow ◽

Support Vector ◽

Control Flow Graph ◽

Download Full-text

Similarity Based Binary Backdoor Detection via Attributed Control Flow Graph

2020 IEEE 4th Information Technology, Networking, Electronic and Automation Control Conference (ITNEC) ◽

10.1109/itnec48623.2020.9085069 ◽

2020 ◽

Author(s):

Tianchen Zhang ◽

Haixiang Wang ◽

Huan Ying ◽

Jiyuan Li

Keyword(s):

Control Flow ◽

Control Flow Graph ◽

Download Full-text