In computer science, control-flow analysis (CFA) is a static-code-analysis technique for determining the control flow of a program. The control flow is expressed as a control-flow graph (CFG). For both functional programming languages and object-oriented programming languages, the term CFA, and elaborations such as k-CFA, refer to specific algorithms that compute control flow. (lambda (f) (f x)) it is unclear to which procedure f may refer. A control-flow analysis must consider where this expression could be invoked and what argument it may receive to determine the possible targets.
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Análisis de control del flujo (es)
- Control flow analysis (en)
- 제어 흐름 분석 (ko)
- Анализ потока управления (ru)
- 控制流分析 (zh)
- Аналіз потоку керування (uk)
|
| rdfs:comment
| - 제어 흐름 분석 (control flow analysis) (CFA)은 프로그램의 제어 흐름을 결정하기 위한 정적 프로그램 분석 기법이다. 제어 흐름은 제어 흐름 그래프 (CFG)로 표현된다. CFA라는 용어는 함수형 프로그래밍와 객체 지향 프로그래밍 둘 다 제어 흐름을 계산하는 구체적인 알고리즘이다. 많은 명령형 프로그래밍에서, 프로그램의 제어 흐름은 프로그램의 소스 코드에 분명히 나와 있다. 결과적으로 프로시저 사이의 제어 흐름 분석은 종종 명백하게 함수나 메소드 호출의 수신자를 결정하는 정적 분석 기법과 관련있다. 예를 들면 스킴같은 를 사용하는 프로그래밍 언어에서, 함수 호출의 대상은 명백하지 않을 수 있다. (lambda (f) (f x)) 어떤 프로시저 f 가 참조되는지는 명확하지 않다. 가능한 대상을 결정하기 위해, 제어 흐름 분석은 반드시 어디서 이 표현이 발생했는지와 어떤 인자를 받았는지를 고려해야 한다. , 제약 충족 문제, 그리고 자료형 체계 같은 기법들은 제어 흐름 분석을 위해 사용된다. (ko)
- 控制流分析（Control flow analysis）簡稱CFA，是一種確認程式控制流程的靜態代碼分析技術。控制流程會以控制流圖來表示。對於函數程式語言及物件導向程式設計，CFA都是指計算控制流程的演算法。 控制流分析一詞最早是由Neil D. Jones及Olin Shivers開始使用。 對於像是Scheme之類有高階函數的程式語言，不一定可以會程式中直接看出函數呼叫的目標，例如以下的程式片段 (lambda (f) (f x)) 根據上述程式無法確認程序f是指什麼，此情形下的控制流分析需考慮何時會執行此程式碼，及當時的傳入值。 抽象釋義、約束滿足及型別系統都可以用來進行控制流分析。 (zh)
- Аналіз потоку керування (англ. control-flow analysis, CFA) - це форма статичного аналізу, заснована на представленні унікальних шляхів (послідовностей подій) під час виконання через компонент або систему. Аналіз потоку керування оцінює цілісність структур потоку керування, шукаючи можливі аномалії потоку керування, такі як замкнуті цикли або логічно недосяжні етапи процесу. Порядок виконання виявляється у вигляді графа потоку керування. (uk)
- In computer science, control-flow analysis (CFA) is a static-code-analysis technique for determining the control flow of a program. The control flow is expressed as a control-flow graph (CFG). For both functional programming languages and object-oriented programming languages, the term CFA, and elaborations such as k-CFA, refer to specific algorithms that compute control flow. (lambda (f) (f x)) it is unclear to which procedure f may refer. A control-flow analysis must consider where this expression could be invoked and what argument it may receive to determine the possible targets. (en)
- El análisis de control de flujo es una técnica de análisis estático de software para determinar las estructuras de control de un programa. El control del flujo se representa a través del grafo de control de flujo (CFG). En la mayoría de los lenguaje de programación, el control del flujo se encuentra explícito en el código fuente del programa. Como resultado el análisis de control de flujo implica usualmente referirse a un análisis estático de software. El término análisis de control de flujo fue introducido independientemente por Neil D. Jones y Olin Shivers. (es)
- Анализ потока управления — это статический анализ кода для определения порядка выполнения программы. Порядок выполнения выражается в виде графа потока управления. Для многих языков граф потока управления явно прослеживается в исходном коде программы. Как результат, анализ потока управления обычно относится к статическому анализу кода. В ходе анализа определяются приемники функций и методов, вызванных программами, написанными на языках высокого уровня. И для языков функционального программирования, и для объектно-ориентированных языков программирования термин «Анализ потока управления» означает алгоритм, который формирует граф потока управления. (ru)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| has abstract
| - In computer science, control-flow analysis (CFA) is a static-code-analysis technique for determining the control flow of a program. The control flow is expressed as a control-flow graph (CFG). For both functional programming languages and object-oriented programming languages, the term CFA, and elaborations such as k-CFA, refer to specific algorithms that compute control flow. For many imperative programming languages, the control flow of a program is explicit in a program's source code. As a result, interprocedural control-flow analysis implicitly usually refers to a static analysis technique for determining the receiver(s) of function or method calls in computer programs written in a . For example, in a programming language with higher-order functions like Scheme, the target of a function call may not be explicit: in the isolated expression (lambda (f) (f x)) it is unclear to which procedure f may refer. A control-flow analysis must consider where this expression could be invoked and what argument it may receive to determine the possible targets. Techniques such as abstract interpretation, constraint solving, and type systems may be used for control-flow analysis. (en)
- El análisis de control de flujo es una técnica de análisis estático de software para determinar las estructuras de control de un programa. El control del flujo se representa a través del grafo de control de flujo (CFG). En la mayoría de los lenguaje de programación, el control del flujo se encuentra explícito en el código fuente del programa. Como resultado el análisis de control de flujo implica usualmente referirse a un análisis estático de software. El término análisis de control de flujo fue introducido independientemente por Neil D. Jones y Olin Shivers. En un lenguaje de programación con funciones de orden superior como Scheme, el objetivo de un llamado a función puede ser implícito. Por ejemplo, en la siguiente expresión: No está claro a qué procedimiento f se refiere. Para determinar los posibles objetivos, se debería considerar un análisis de control del flujo cuando esta expresión sea invocada y que argumentos deba recibir. La interpretación abstracta, la resolución de restricciones y el sistema de tipos suelen ser usados para llevar a cabo estos análisis. (es)
- 제어 흐름 분석 (control flow analysis) (CFA)은 프로그램의 제어 흐름을 결정하기 위한 정적 프로그램 분석 기법이다. 제어 흐름은 제어 흐름 그래프 (CFG)로 표현된다. CFA라는 용어는 함수형 프로그래밍와 객체 지향 프로그래밍 둘 다 제어 흐름을 계산하는 구체적인 알고리즘이다. 많은 명령형 프로그래밍에서, 프로그램의 제어 흐름은 프로그램의 소스 코드에 분명히 나와 있다. 결과적으로 프로시저 사이의 제어 흐름 분석은 종종 명백하게 함수나 메소드 호출의 수신자를 결정하는 정적 분석 기법과 관련있다. 예를 들면 스킴같은 를 사용하는 프로그래밍 언어에서, 함수 호출의 대상은 명백하지 않을 수 있다. (lambda (f) (f x)) 어떤 프로시저 f 가 참조되는지는 명확하지 않다. 가능한 대상을 결정하기 위해, 제어 흐름 분석은 반드시 어디서 이 표현이 발생했는지와 어떤 인자를 받았는지를 고려해야 한다. , 제약 충족 문제, 그리고 자료형 체계 같은 기법들은 제어 흐름 분석을 위해 사용된다. (ko)
- Анализ потока управления — это статический анализ кода для определения порядка выполнения программы. Порядок выполнения выражается в виде графа потока управления. Для многих языков граф потока управления явно прослеживается в исходном коде программы. Как результат, анализ потока управления обычно относится к статическому анализу кода. В ходе анализа определяются приемники функций и методов, вызванных программами, написанными на языках высокого уровня. И для языков функционального программирования, и для объектно-ориентированных языков программирования термин «Анализ потока управления» означает алгоритм, который формирует граф потока управления. Термин анализ потока управления (control flow analysis) был впервые использован Нейлом Джонсом (Neil D. Jones) и Олин Шиверс (Olin Shivers). Для анализа потока управления могут быть использованы: , Удовлетворение ограничений, Типизация данных. (ru)
- 控制流分析（Control flow analysis）簡稱CFA，是一種確認程式控制流程的靜態代碼分析技術。控制流程會以控制流圖來表示。對於函數程式語言及物件導向程式設計，CFA都是指計算控制流程的演算法。 控制流分析一詞最早是由Neil D. Jones及Olin Shivers開始使用。 對於像是Scheme之類有高階函數的程式語言，不一定可以會程式中直接看出函數呼叫的目標，例如以下的程式片段 (lambda (f) (f x)) 根據上述程式無法確認程序f是指什麼，此情形下的控制流分析需考慮何時會執行此程式碼，及當時的傳入值。 抽象釋義、約束滿足及型別系統都可以用來進行控制流分析。 (zh)
- Аналіз потоку керування (англ. control-flow analysis, CFA) - це форма статичного аналізу, заснована на представленні унікальних шляхів (послідовностей подій) під час виконання через компонент або систему. Аналіз потоку керування оцінює цілісність структур потоку керування, шукаючи можливі аномалії потоку керування, такі як замкнуті цикли або логічно недосяжні етапи процесу. Порядок виконання виявляється у вигляді графа потоку керування. (uk)
|
| gold:hypernym
| |
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage redirect
of | |
| is Wikipage disambiguates
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)