RETRACTED: Generic control flow for the four types of clutch-to-clutch shifts by Yunjiang Cheng, Xiangyang Xu, Shuhan Wang, Yang Liu

Get full text

CFA2: a Context-Free Approach to Control-Flow Analysis by Dimitrios Vardoulakis, Olin Shivers

“…In a functional language, the dominant control-flow mechanism is function call and return. Most higher-order flow analyses, including k-CFA, do not handle call and return well: they remember only a bounded number of pending calls because they approximate programs with control-flow graphs. …”
Get full text

Topological traps control flow on real networks: the case of coordination failures. by Carlos P Roca, Sergi Lozano, Alex Arenas, Angel Sánchez

Get full text

Technique for IoT malware detection based on control flow graph analysis by Kira Bobrovnikova, Sergii Lysenko, Bohdan Savenko, Piotr Gaj, Oleg Savenko

Subjects: Get full text

ARCADIS: Asynchronous Remote Control-Flow Attestation of Distributed IoT Services by Ragnar Mikael Halldorsson, Edlira Dushku, Nicola Dragoni

Subjects: Get full text

Compiler Optimizations Impact the Reliability of the Control-Flow of Radiation-Hardened Software by Ronaldo Rodrigues Ferreira, Rafael Baldiati Parizi, Luigi Carro, Álvaro Freitas Moreira

“… http://dx.doi.org/10.5028/jatm.v5i3.224 This paper discusses how compiler optimizations influence software reliability when the optimized application is compiled with a technique to enable the software itself to detect and correct radiation-induced control-flow errors. Supported  by a comprehensive fault-injection campaign using an established benchmark suite in the embedded systems domain, we show that the compiler is a non-negligible source of noise when hardening the software against radiationinduced soft errors. …”
Get full text

Automatically Deriving Control-Flow Graph Generators from Operational Semantics by Koppel, James, Kearl, Jackson, Solar-Lezama, Armando

Get full text

Software protection system : binary control flow obfuscation for portable executables by Chew, Ron Jun Hong.

“…These obfuscation techniques include control flow flattening and branch conversion and they are directed at the control flow of a program to hide its intended logic and behavior. …”
Get full text

The Construction of an Universal Linearized Control Flow Graph for Static Code Analysis of Algorithms by V. A. Bitner, N. V. Zaborovsky

“…This paper presents the description of a possible way to build the universal linearized control flow graph which is supposed to be architecture-independent and applicable to the description of any high level language programs. …”
Get full text

Numerical Study of Porous Treatments on Controlling Flow around a Circular Cylinder by Chen Xu, Shihao Wang, Yijun Mao

Get full text

The Construction of an Universal Linearized Control Flow Graph for Static Code Analysis of Algorithms by V. A. Bitner, N. V. Zaborovsky

“…<p>This paper presents the description of a possible way to build the universal linearized control flow graph which is supposed to be architecture-independent and applicable to the description of any high level language programs. …”
Get full text

The Perspective on Data and Control Flow Analysis in Topological Functioning Models by Petri Nets by Asnina Erika, García-Bustelo Begoña Cristina Pelayo

Subjects: “…control flows…”
Get full text

Bratter: An Instruction Set Extension for Forward Control-Flow Integrity in RISC-V by Seonghwan Park, Dongwook Kang, Jeonghwan Kang, Donghyun Kwon

“…In recent decades, there has been an increasing number of studies on control flow integrity (CFI), particularly those implementing hardware-assisted CFI solutions that utilize a special instruction set extension. …”
Get full text

SCGformer: Smart contract vulnerability detection based on control flow graph and transformer by KeXin Gong, Xiangmei Song, Na Wang, Chunyang Wang, Huijuan Zhu

“…To address this problem, we propose a novel vulnerability detection method based on transformer by constructing the control flow graph (CFG) of smart contracts operation codes (opcodes), which shields the difference of various versions of program language. …”
Get full text

Process Variants Merging Method Based on Group-fair Control Flow Structure by WANG Wu-song, FANG Huan, ZHENG Xue-wen

“…Merging process variants models can quickly construct a single process model to meet a new demand.The issue of how to merge the process variants models is of great practical value.Therefore,a process variants merging method using group-fair control flow structure is proposed.Firstly,process variants are segmented into individual variant using group-fairness in Petri nets.Then,the control flow paths of the variant fragments are extracted and their corresponding matrix representation are constructed,then the variants are merged into a single flow model.Finally,it is proved that the merged process model captures all the behaviors of the input process models,and it can detect the unexpected behaviors of the merged model compared to the former input models.…”
Get full text

Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs by Thomas Martin Gawlitza, David Monniaux

“…Another well-known source of imprecision of traditional abstract interpretation techniques stems from their use of join operators at merge nodes in the control flow graph. The mentioned weaknesses may prevent these methods from proving safety properties. …”
Get full text

Deoptfuscator: Defeating Advanced Control-Flow Obfuscation Using Android Runtime (ART) by Geunha You, Gyoosik Kim, Sangchul Han, Minkyu Park, Seong-Je Cho

Subjects: Get full text

BGCFI: Efficient Verification in Fine-Grained Control-Flow Integrity Based on Bipartite Graph by Moon Chan Park, Dong Hoon Lee

Subjects: “…Control-flow hijacking…”
Get full text

Algorithm plagiarism detection using structural, block and sentence similarities of control flow graphs / by Adamu Isah, 1980-, Naomie Salim, Fakulti Komputeran

ACE-M: Automated Control Flow Integrity Enforcement Based on MPUs at the Function Level by Sungbin Lee, Jeonghun Cho

Subjects: “…control-flow-integrity…”
Get full text