석201812 정적 분석 기반 블록체인 코드 취약성의 자동 가시화 연구

`

석201812 정적 분석 기반 블록체인 코드 취약성의 자동 가시화 연구_홍익대 소프트웨어공학.pdf

3.56MB

제 1 장 서론 1

1.1 연구배경 및 목적 1

1.2 연구내용 3

제 2 장 관련 연구 5

2.1 역공학 기반 코드 가시화 5

2.1.1 Architecture 추출 가시화 6

2.1.2 Reusability 가시화 8

2.1.3 결합도 & 응집도 수준 가시화 9

2.1.4 Bad Smell Pattern 가시화 10

2.1.5 Performance 가시화 12

2.2 기존 코드 가시화의 오픈 소스 12

2.2.1 Source Navigator 12

2.2.2 Java Parser 14

2.2.3 AST View 14

2.2.4 Go/Parser 15

2.2.5 GoAst Viewer 15

2.2.6 Graphviz 16

제 3 장 블록체인 17

3.1 Smart Contract 18

3.2 블록체인 내의 버그 19

제 4 장 제안한 블록체인 코드 취약성 자동 가시화 20

4.1 Java 기반 블록체인 코드 취약성 자동 가시화 20

4.1.1 툴체인 구성 20

4.1.2 기존 Souece Navigator의 한계점 22

4.1.3 Java Parser 확장 구현 22

4.1.4 Class Diagram 가시화 방법 30

4.1.5 Coupling 수준별 가시화 방법 33

4.1.6 Bad Smell Pattern 가시화 방법 39

4.2 Go 기반 블록체인 코드 취약성 자동 가시화 55

4.2.1 툴체인 구성 55

4.2.2 Go/Parser 트리 구조 분석 56

4.2.3 Coupling 수준별 가시화 방법 62

제 5 장 자동 코드 취약성 추출 시스템 적용 사례 71

5.1 적용 타겟 71

5.2 자동 코드 취약성 추출 시스템 적용 사례 73

제 6 장 결론 및 향후 연구 77