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

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

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

A Java based system for specifying hierarchical control flow graph models

Proceedings of the 29th conference on Winter simulation - WSC '97 ◽

10.1145/268437.268466 ◽

1997 ◽

Author(s):

Thorsten Daum ◽

Robert G. Sargent

Keyword(s):

Hierarchical Control ◽

Control Flow ◽

Control Flow Graph ◽

Graph Models ◽

Download Full-text

Cross-Kernel Control-Flow--Graph Analysis for Event-Driven Real-Time Systems

Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2015 CD-ROM - LCTES'15 ◽

10.1145/2670529.2754963 ◽

2015 ◽

Author(s):

Christian Dietrich ◽

Martin Hoffmann ◽

Daniel Lohmann

Keyword(s):

Real Time ◽

Control Flow ◽

Graph Analysis ◽

Control Flow Graph ◽

Real Time Systems ◽

Event Driven ◽

Download Full-text