. 버그의 유형
. exception handling
. return value를 확인하지 않는 경우
. 데이터를 잃어버리거나 잘못 고치는 일이 발생할 수도 있다.
. 에러 상황에서 단순히 함수를 return, exit 해버릴 때
. caller가 handling해주지 않으면 다시 에러가 발생하게 된다.
. 에러가 났을 때 단지 눈가리기식으로 값을 버리기만 하면
더 큰 에러가 계속 날 수 있다.
. 초기화하지 않은 변수
. 그 변수가 index로 쓰인다면 임의의 장소의 값이 고쳐질 수 있다.
. Buffer size를 넘는 데이터를 잘못 처리하거나 적당히 cut하고 "\0"만 붙었을 때
예1) keyword와 weight를 나타내는 "abcd 100"이라는 데이터가
"abc 10"으로 바뀌어 저장될 수 있다.
keyword "abc"의 weight가 잘못 계산되어 버린다.
예2) fgets로 line by line으로 5bytes만 읽었을 때
입력 : 12345678
23456789
출력 : 12345
67
23456
789
입력 데이터는 sort되어 있었지만 출력 데이터는 sort되지 않은 데이터이다.
. 부적절한 delimiter
. delimiter가 data안에 출현하여 data structure를 깨먹을 수 있다.
. 불완전한 알고리즘 사용
. Pseudo-sort, pseudo-compare :
Sort의 성능을 올리기 위해 90~95%의 데이터만 소트되는 편법을 쓰면 위험하다.
(Prefix만 보고 sort, Hash값을 얻어서 sort)
그 데이터를 이용하여 Merge sort같은 것을 했을 때 실패하게 된다.
. hash를 쓸 때 collusion을 처리하지 않았을 때
. 잘못된 값이 overwrite된다.
. stable sort를 써야 할 곳에 unstable sort를 쓰는 경우
. 성능 향상은 있을 수 있지만 값을 믿을 수 없다.
. escaping문제
shell argument, evaluation이 다시 일어나는 데이터에 따옴표("), "/"등이
들어있으면 위험하다.
system에 이상한 명령이 수행되거나 Buffer overflow 공격에 의한
해킹도 가능하다.
. 오차의 확산
. 처음에는 오차가 적겠지만 값이 누적되고 계산이 반복됨에 따라서
오차는 발산, 확산될 것이다.
단순한 덧셈, 뺄셈에서는 말할 것도 없고 vector 연산, cos, sin, log, 1/n
정렬, hashing같은 매우 고난이도의 연산에서는 오차가 얼마나 확산될 것인지
추정조차 불가능하다.
. 한 칸씩 밀려쓰는 에러같은 것이 났을 경우
에러가 난 곳 이후의 모든 데이터는 쓰레기 값이 될 수 있다.
. 어떤 연산, 함수 func에 대하여 인수 중 하나라도 garbage값이면
결과는 garbage값이다.
func(garbage, garbage) = Garbage값
func(garbage, 정상값) = Garbage값
func(정상값, garbage) = Garbage값
func(정상값, 정상값) = 정상값
. Encoding 문제
. ASCII, EUC_KR, 서유럽 인코딩 등을 섞어서 쓰게 되면
00~7F이외의 범위에서 결과값을 보장할 수 없다.
. encoding에 따라 compare했을 때 대소가 다를 수도 있으므로
compare와 sort의 결과도 보장할 수 없다.
. Incremental한 데이터의 문제
. 약간씩 포멧이 변하는 모듈에 의해 누적된 데이터는
어제 만든 데이터와 오늘 만든 데이터가 일관성을 유지할 수 없다.
두 데이터를 merge했을 때는 두 값 모두 이상한 결과를 보일 수 있다.
. Hard Coding(하드코딩)
. Magic Number 하드코딩
. OS, Compiler, Architecture, Kernel Paramater에 따라 값이 바뀔 수 있음.
. 나중에 값을 수정해야 할 때 많은 곳을 고쳐야 함.
. URL, Server 주소, port 하드코딩
. 서비스 장애, Migration, 추가시마다 Compile과 Dist를 다시 해야 한다.
. Graceful Shutdown
. Daemon, process를 정상 종료할 방법을 만들어 둬야 한다.
긴급 종료, 서비스 이전(migration)시 비정상 종료(abort, kill)를 하게 되면 데이터 구조가 깨진다.
Garbage가 남아서 재시작이 불가능할 수도 있다.
. exception handling
. return value를 확인하지 않는 경우
. 데이터를 잃어버리거나 잘못 고치는 일이 발생할 수도 있다.
. 에러 상황에서 단순히 함수를 return, exit 해버릴 때
. caller가 handling해주지 않으면 다시 에러가 발생하게 된다.
. 에러가 났을 때 단지 눈가리기식으로 값을 버리기만 하면
더 큰 에러가 계속 날 수 있다.
. 초기화하지 않은 변수
. 그 변수가 index로 쓰인다면 임의의 장소의 값이 고쳐질 수 있다.
. Buffer size를 넘는 데이터를 잘못 처리하거나 적당히 cut하고 "\0"만 붙었을 때
예1) keyword와 weight를 나타내는 "abcd 100"이라는 데이터가
"abc 10"으로 바뀌어 저장될 수 있다.
keyword "abc"의 weight가 잘못 계산되어 버린다.
예2) fgets로 line by line으로 5bytes만 읽었을 때
입력 : 12345678
23456789
출력 : 12345
67
23456
789
입력 데이터는 sort되어 있었지만 출력 데이터는 sort되지 않은 데이터이다.
. 부적절한 delimiter
. delimiter가 data안에 출현하여 data structure를 깨먹을 수 있다.
. 불완전한 알고리즘 사용
. Pseudo-sort, pseudo-compare :
Sort의 성능을 올리기 위해 90~95%의 데이터만 소트되는 편법을 쓰면 위험하다.
(Prefix만 보고 sort, Hash값을 얻어서 sort)
그 데이터를 이용하여 Merge sort같은 것을 했을 때 실패하게 된다.
. hash를 쓸 때 collusion을 처리하지 않았을 때
. 잘못된 값이 overwrite된다.
. stable sort를 써야 할 곳에 unstable sort를 쓰는 경우
. 성능 향상은 있을 수 있지만 값을 믿을 수 없다.
. escaping문제
shell argument, evaluation이 다시 일어나는 데이터에 따옴표("), "/"등이
들어있으면 위험하다.
system에 이상한 명령이 수행되거나 Buffer overflow 공격에 의한
해킹도 가능하다.
. 오차의 확산
. 처음에는 오차가 적겠지만 값이 누적되고 계산이 반복됨에 따라서
오차는 발산, 확산될 것이다.
단순한 덧셈, 뺄셈에서는 말할 것도 없고 vector 연산, cos, sin, log, 1/n
정렬, hashing같은 매우 고난이도의 연산에서는 오차가 얼마나 확산될 것인지
추정조차 불가능하다.
. 한 칸씩 밀려쓰는 에러같은 것이 났을 경우
에러가 난 곳 이후의 모든 데이터는 쓰레기 값이 될 수 있다.
. 어떤 연산, 함수 func에 대하여 인수 중 하나라도 garbage값이면
결과는 garbage값이다.
func(garbage, garbage) = Garbage값
func(garbage, 정상값) = Garbage값
func(정상값, garbage) = Garbage값
func(정상값, 정상값) = 정상값
. Encoding 문제
. ASCII, EUC_KR, 서유럽 인코딩 등을 섞어서 쓰게 되면
00~7F이외의 범위에서 결과값을 보장할 수 없다.
. encoding에 따라 compare했을 때 대소가 다를 수도 있으므로
compare와 sort의 결과도 보장할 수 없다.
. Incremental한 데이터의 문제
. 약간씩 포멧이 변하는 모듈에 의해 누적된 데이터는
어제 만든 데이터와 오늘 만든 데이터가 일관성을 유지할 수 없다.
두 데이터를 merge했을 때는 두 값 모두 이상한 결과를 보일 수 있다.
. Hard Coding(하드코딩)
. Magic Number 하드코딩
. OS, Compiler, Architecture, Kernel Paramater에 따라 값이 바뀔 수 있음.
. 나중에 값을 수정해야 할 때 많은 곳을 고쳐야 함.
. URL, Server 주소, port 하드코딩
. 서비스 장애, Migration, 추가시마다 Compile과 Dist를 다시 해야 한다.
. Graceful Shutdown
. Daemon, process를 정상 종료할 방법을 만들어 둬야 한다.
긴급 종료, 서비스 이전(migration)시 비정상 종료(abort, kill)를 하게 되면 데이터 구조가 깨진다.
Garbage가 남아서 재시작이 불가능할 수도 있다.
