Fuzzing Camp

1.GCOV 사용해보기 Lab1-Triangle

post-thumbnail

Software Testing & Fuzzing Camp Lab1triangle.c라는 c언어로 된 프로그램이 있다.이 프로그램은 총 3개의 integer를 받는데 각각의 integer는 삼각형의 변의 길이를 뜻한다.프로그램은 인풋으로 총 3개의 삼각형 변의 길이를 받

2020년 7월 22일

2.GCOV사용해보기 Lab1-Replace

post-thumbnail

Software Testing & Fuzzing Camp Lab1 Replace replace.c는 단순히 텍스트 변환기 프로그램이다. lab1-replace폴더는 다음과 같이 bin src test 3개의 폴더로 구성되어 있다. bin 폴더는 다음과 같이 mak

2020년 7월 22일

3.Fuzzing Lab2-vulnerable

post-thumbnail

sw testing and fuzzing camp lab2-vulnerable의미있는 test case 를 변화시켜 수행시킨다. Seed – 의미있는 test caseP(Pase) – well working 돌려서 잘 작동하는 test case, PopulationF

2020년 7월 23일

4.Fuzzing lab2-libxml

post-thumbnail

: xml 파서이다. 컴파일을 시켜보겠다. CC=afl-gcc : 컴파일을 afl-gcc로 하겠다. Default = gcc임.make 파일을 이용해서 컴파일을 하였다. input 파일에 몇개의 .html파일을 넣어준다. 이제 fuzz screen을 열어 보자 @@

2020년 7월 23일

5.White Box Testing

post-thumbnail

SW testing & Fuzzing camp lab3Dynamic Symbolic Executionlib/z3/bin의 path export해주기src폴더에서 make하기path export하기z3에서 Symbolic Execution을 계산하여 나온 값을 넣어준다.

2020년 7월 23일