Control flow analysis

Known as: Uniform k-CFA, K-CFA, CFA

In computer science, control flow analysis (CFA) is a static code analysis technique for determining the control flow of a program. The control flow…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2018

In the space environment, computer is easily affected by high-energy particle irradiation, which may incur transient faults, also…

2015

In this paper, we characterize and solve the problem of augmenting a component-based system with time-triggered runtime…

2014

Information recommendation service is one of important functions of digital library, aiming at the problem that book…

2011

Aspect orientation has been used to improve the modularization of crosscutting concerns that emerge at different levels of…

2008

Host-based anomaly detectors monitor the control-flow and data-flow behavior of system calls to detect intrusions. Control-flow…

2007

Modeling a system with communicating concurrent processes is an effective way of exposing parallelism inherent in the application…

2006

Aspect-oriented programming (AOP) has been proposed as a technique for improving the separation of concerns in software design…

2004

The analgesic effect of zomepirac is potentiated by simultaneously or sequentially administering to a subject suffering from pain…

1998

1991