program_slicing

분해

소스 코드 분해 방법 세트.

---

설치

1. $ git clone [email protected]:acheshkov/program_slicing.git
2. $ cd program_slicing
3. $ git submodule update --recursive --init
4. $ pip3 install ./program_slicing

PIP를 사용하려면 글로벌 네트워크에 액세스해야합니다. 해당 C 컴파일러가있는 Python 3.9가 필요합니다. Python 콘솔을 실행하여 C 컴파일러 버전을 확인하십시오.

---

용법

이 프로젝트는 명령 줄 인터페이스를 통해 사용할 수 있거나 다른 Python 프로젝트에 하위 모듈로 포함될 수 있습니다.

명령 줄 인터페이스

일부분

완전한 계산 슬라이스 (Nikolaos Tsantalis 및 Alexander Chatzigeorgiou.

$ python cli.py slice [-h]
                      [-o OUTPUT]
                      source

위치 논쟁 :

소스 - 소스 폴더, 파일 또는 URL

선택적 인수 :

-O , - 출력 -출력 파일 또는 디렉토리 : 출력으로 설정 한 내용에 따라 폴더가 슬라이스 분해 또는 단일 파일로 가득 찬 폴더를 가져옵니다. 지정되지 않은 경우 Stdout을 사용합니다

-h , -help- 이 도움말 메시지 메시지 및 종료

예 :

$ python cli.py slice MyProjectPath

$ python cli.py slice MyFile.java

$ python cli.py slice MyProjectPath --output MyResultPath

$ python cli.py slice MyFile.java --output MyResultPath

---

하위 모듈 인터페이스

제어 의존성 그래프 - 해당 방법과 함께 제어 의존성 그래프 ( NetworkX.digraph 에서 상속)를 나타내는 구조.

 from program_slicing . graph . cdg import ControlDependenceGraph

• add_entry_point- 마크 지정된 노드를 진입 점으로 지정했습니다.
• get_entry_points- 진입 점으로 표시된 곳에있는 노드 세트를 반환합니다.

---

제어 흐름 그래프 - 해당 메소드와 함께 제어 흐름 그래프 ( NetworkX.digraph 에서 상속)를 나타내는 구조.

 from program_slicing . graph . cfg import ControlFlowGraph

• add_entry_point- 마크 지정된 노드를 진입 점으로 지정했습니다.
• get_entry_points- 진입 점으로 표시된 곳에있는 노드 세트를 반환합니다.

---

데이터 의존성 그래프 - 해당 메소드와 함께 데이터 의존성 그래프 ( NetworkX.digraph 에서 상속)를 나타내는 구조.

 from program_slicing . graph . ddg import DataDependenceGraph

• add_entry_point- 마크 지정된 노드를 진입 점으로 지정했습니다.
• get_entry_points- 진입 점으로 표시된 곳에있는 노드 세트를 반환합니다.

---

프로그램 의존성 그래프 - 해당 메소드와 함께 프로그램 의존성 그래프 ( NetworkX.digraph 에서 상속)를 나타내는 구조.

 from program_slicing . graph . pdg import ProgramDependenceGraph

• add_entry_point- 마크 지정된 노드를 진입 점으로 지정했습니다.
• get_entry_points- 진입 점으로 표시된 곳에있는 노드 세트를 반환합니다.

---

명령문 - 제어 의존성 그래프 , 데이터 종속성 그래프 또는 프로그램 종속성 그래프 노드를 나타내는 구조.

 from program_slicing . graph . statement import Statement

• state_type- state -type 객체.
• start_point- 명령문의 시작의 줄 및 열 번호.
• end_point- 명령문 끝의 줄 및 열 번호.
• Infected_by- 현재 문에 영향을 줄 수있는 변수 이름이있는 문자열 세트.
• 이름 - 문자 이름이있는 문자열 . 모든 진술의 이름이 지정된 것은 아닙니다.
• AST_NODE_TYPE- 노드에 대한 추가 정보가있는 문자열 (예 : AST 루트 클래스).

---

StateGype- 명령문 유형을 열거하는 구조.

 from program_slicing . graph . statement import StatementType

• 함수 - 함수 선언문 .
• 변수 - 변수 선언문 .
• 할당 - 변수 할당 문 (예 : i = 0 , i += 1 , i++ 등).
• 호출 - 함수 호출 문 .
• 스코프 - 스코프 문 (예 : if (...) a = 0 괄호 {} 또는 빈 몸체와 같은.
• 분기 - 흐름을 분기하는 명령문 (예 : if , try , catch , switch ).
• 루프 - 후진 흐름을 생성하는 분기 문 (예 : for while ).
• GOTO- 구체적인 진술 로 흐르는 진술 (예 : break , continue , throw , return else ).
• 미지 - 다른 모든 진술 .
• EXIT- 함수 선언 끝에 배치되는 특별한 명세서 는 크기가 0이며 모든 '반환'및 '던지기'노드는 흐름으로 이어지고 흐름의 마지막 명령문이 있습니다.

---

기본 블록 - 제어 흐름 그래프 노드를 나타내는 구조.

 from program_slicing . graph . basic_block import BasicBlock

• 진술 - 기본 블록 의 내용, 즉 진술 목록을 가져옵니다.
• 루트 - 기본 블록 에서 첫 번째 진술을 받으십시오. 비어 있으면 없음.
• 추가 - 기본 블록 에 지정된 명령문을 추가하십시오.
• IS_EMPTY- 기본 블록 에 진술이 없으면 true를 반환합니다.
• 분할 - 주어진 인덱스별로 분할 내용은 원래 기본 블록 에서 분할의 첫 번째 부분을 남겨두고 모든 나머지 문장이 포함 된 새로운 기본 블록을 반환합니다.

---

프로그램 그래프 관리자 - 동일한 소스 코드를 기반으로 다양한 유형의 프로그램 그래프 (예 : 제어 흐름 그래프 또는 제어 의존성 그래프 )를 포함하는 구조와 분석을위한 일련의 방법을 제공합니다.

 from program_slicing . graph . parse import Lang
from program_slicing . graph . parse import control_dependence_graph
from program_slicing . graph . parse import control_flow_graph
from program_slicing . graph . manager import ProgramGraphsManager

manager_by_source = ProgramGraphsManager ( source_code , Lang . JAVA )

manager_by_cdg = ProgramGraphsManager . from_control_dependence_graph ( control_dependence_graph ( source_code , Lang . JAVA ))

manager_by_cfg = ProgramGraphsManager . from_control_flow_graph ( control_flow_graph ( source_code , Lang . JAVA ))

속성:

• Control_dependence_graph- 제어 의존성 그래프를 반환합니다.
• control_flow_graph- 제어 흐름 그래프를 반환합니다.
• data_dependence_graph- 데이터 종속성 그래프를 반환합니다.
• program_dependence_graph- 프로그램 종속성 그래프를 반환합니다.
• Sorted_statements- start_point 늘려서 end_point 를 줄임으로써 먼저 정렬 된 return 문 .
• General_Statements- 반환 일반 진술 (비 SCOPE , BRANCH , LOOP , FUNCTION 또는 EXIT 명령문 에 포함되지 않은 문장).
• SCOPE_STATEMENTS- 모든 SCOPE , BRANCH , LOOP 또는 FUNCTION 명령문을 반환합니다.

공개 방법 :

• get_basic_block- 주어진 문을 포함하는 기본 블록 ( 제어 흐름 그래프 의 노드)을 반환합니다.
• get_boundary_blocks- 지배 및 도달 블록의 교차점에 주어진 하나의 블록이 포함 된 기본 블록 세트를 반환합니다.
• get_boundary_blocks_for_statement- 주어진 문이 배치되는 기본 블록 에 대한 경계 블록 세트를 반환합니다.
• get_dominated_blocks 주어진 하나에 의해 지배되는 기본 블록 세트를 반환합니다 (즉, 그들의 진술은 주어진 기본 블록 의 루트의 제어 의존성 그래프 서브 트리에 배치됩니다).
• get_reach_blocks- 제어 흐름 그래프 의 주어진 블록에서 도달 할 수있는 기본 블록 세트를 반환합니다.
• get_statement_line_numbers- 주어진 명령문 이 배치 된 줄 번호 세트를 반환합니다.
• get_function_statement- 주어진 명령문이 배치 된 최소 FUNCTION 문을 반환하십시오.
• get_function_statement_by_range- 주어진 범위가 배치 된 최소 함수 문을 반환합니다.
• get_scope_statement- 주어진 문을 포함하는 최소 '스코프와 같은'( SCOPE , LOOP , BRANCH ) 문을 반환합니다.
• get_statements_in_scope- 주어진 스코프 문의 모든 진술을 반환하십시오.
• get_statements_in_range- 주어진 범위의 모든 문을 반환하십시오.
• get_exit_statements- 주어진 진술의 유량 의존성 어린이 인 Return 문장 중 하나는 아닙니다.
• get_affecting_statements- 주어진 세트를 형성하지 않는 일부 진술 에 영향을 미치는 주어진 진술 세트의 반환 문 .
• get_changed_variables_statements- 주어진 진술 세트에서 변경된 변수를 나타내는 VARIABLE 문장을 반환합니다.
• get_involved_variables_statements- 주어진 문장 에서 관련 변수 (사용 포함)를 나타내는 VARIABLE 문을 반환합니다.
• contain_RedUndant_statements- 주어진 명령문 세트에 주어진 세트에 완전히 포함되지 않은 일부 구성의 일부가 포함되어 있는지 확인하십시오.

수업 방법 :

• from_source_code- 주어진 소스 코드 문자열과 언어 설명으로 모든 그래프를 빌드하십시오.
• from_control_dependence_graph- 주어진 제어 의존성 그래프 로 모든 그래프를 빌드하십시오.
• from_control_flow_graph- 주어진 제어 흐름 그래프 로 모든 그래프를 빌드하십시오.
• from_data_dependence_graph- 주어진 데이터 종속성 그래프 로 모든 그래프를 빌드하십시오.
• From_program_dependence_graph- 주어진 프로그램 종속성 그래프 로 모든 그래프를 빌드하십시오.

---

구문 분석 - 지정된 소스 코드 문자열 및 프로그래밍 언어 사양에서 다른 그래프를 빌드 할 수있는 함수 세트.

• control_dependence_graph- 제어 의존성 그래프를 구문 분석합니다.

 from program_slicing . graph . cdg import ControlDependenceGraph
from program_slicing . graph . parse import control_dependence_graph , Lang

cdg : ControlDependenceGraph = control_dependence_graph ( source_code , Lang . JAVA )

• control_flow_graph- 제어 흐름 그래프를 구문 분석합니다.

 from program_slicing . graph . cfg import ControlFlowGraph
from program_slicing . graph . parse import control_flow_graph , Lang

cfg : ControlFlowGraph = control_flow_graph ( source_code , Lang . JAVA )

• data_dependence_graph- 데이터 종속성 그래프를 구문 분석합니다.

 from program_slicing . graph . ddg import DataDependenceGraph
from program_slicing . graph . parse import data_dependence_graph , Lang

ddg : DataDependenceGraph = data_dependence_graph ( source_code , Lang . JAVA )

• program_dependence_graph- 프로그램 종속성 그래프를 구문 분석합니다.

 from program_slicing . graph . pdg import ProgramDependenceGraph
from program_slicing . graph . parse import program_dependence_graph , Lang

pdg : ProgramDependenceGraph = program_dependence_graph ( source_code , Lang . JAVA )

• tree_sitter_ast- 초록 구문 트리를 구문 분석 :

 from tree_sitter import Tree
from program_slicing . graph . parse import tree_sitter_ast , Lang

ast : Tree = tree_sitter_ast ( source_code , Lang . JAVA )

---

변환 - 한 유형의 그래프를 다른 유형으로 변환하는 옵션도 있습니다.

 from program_slicing . graph import convert
from program_slicing . graph . cdg import ControlDependenceGraph
from program_slicing . graph . cfg import ControlFlowGraph

cdg : ControlDependenceGraph = ControlDependenceGraph ()
cfg : ControlFlowGraph = convert . cdg . to_cfg ( cdg )
new_cdg : ControlDependenceGraph = convert . cfg . to_cdg ( cfg )