성태의 닷넷 이야기
홈 주인
모아 놓은 자료
프로그래밍
질문/답변
사용자 관리
사용자
메뉴
아티클
외부 아티클
유용한 코드
온라인 기능
MathJax 입력기
최근 덧글
[정성태] A graphical depiction of the steps ...
[정성태] 질문을 주셔서 출판사 측에 문의를 했습니다. 약 한 달 정도 후...
[Thorondor
] @정성태 개인 블로그인데도 거의 커뮤니티 급 인 것 같아요. 요...
[정성태] Roll A Lisp In C - Reading ; https...
[정성태] Java - How to use the Foreign Funct...
[정성태] 제가 큰 실수를 했군요. ^^; Delegate를 통한 Bein...
[정성태] Working with Rust Libraries from C#...
[정성태] Detecting blocking calls using asyn...
[정성태] 아쉽게도, 커뮤니티는 아니고 개인 블로그입니다. ^^
[정성태] 질문이 잘 이해가 안 됩니다. 우선, 해당 소스코드에서 ILis...
글쓰기
제목
이름
암호
전자우편
HTML
홈페이지
유형
제니퍼 .NET
닷넷
COM 개체 관련
스크립트
VC++
VS.NET IDE
Windows
Team Foundation Server
디버깅 기술
오류 유형
개발 환경 구성
웹
기타
Linux
Java
DDK
Math
Phone
Graphics
사물인터넷
부모글 보이기/감추기
내용
<div style='display: inline'> <h1 style='font-family: Malgun Gothic, Consolas; font-size: 20pt; color: #006699; text-align: center; font-weight: bold'>windbg + 닷넷 디버깅 (2) - null 체크 패턴</h1> <p> setnz와 setne는 같은 역할을 하는 명령어입니다. <br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > setne == Set if not equal SETNZ == Set if not zero </pre> <br /> 단지, .NET JIT 컴파일러의 특성이겠지만 닷넷 응용 프로그램을 disassembly 창에서 보면 setnz보다는 setne 명령어를 더 자주 볼 수 있습니다.<br /> <br /> 2개의 명령어 모두 같음(equal)을 판별하기 위해 FLAG 레지스터의 Zero 플래그를 확인하는데, 대개의 경우 cmp 명령어 등이 선행되어 2개의 값을 비교해 Zero 플래그를 변경시킨 이후 setne/setnz 명령어가 나오는 패턴을 따릅니다.<br /> <br /> 예를 들어, 닷넷에서 null 비교하는 구문을 보면,<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > if (myvar == null) { } </pre> <br /> disassembly 창에서 이런 식으로 cmp 명령어가 등장합니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > cmp dword ptr [ebp-4Ch],0 // [ebp-4ch] == myvar // 32비트인 경우, 지역 변수는 대개 [ebp-offset] 값 형식입니다. </pre> <br /> 즉, [ebp-4ch] 주소가 가리키는 값에서 0을 빼서 0 이 나왔다면, cmp 명령어는 ZERO 플래그를 SET 시킵니다. (cmp는 결과 값을 저장하지 않을 뿐 sub 명령어와 역할이 유사합니다.)<br /> <br /> 따라서, 이어서 나오는 setne 명령어는,<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > setne al </pre> <br /> (cmp 명령어로 변경된) zero flag == 1이면 'equal'로 판정하고 al 레지스터에 0을 설정하지만, zero flag == 0이면 "if not equal"이므로 al 레지스터의 값에 1을 설정합니다.<br /> <br /> setne 명령어가 1바이트 레지스터 값을 조정하므로, 대개의 경우 (32비트인 경우) 4바이트로 확장하는 movzx 명령어가 이어서 나오게 됩니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > movzx eax,al </pre> <br /> 예를 들어, setne 하기 전에 eax == 02CB503C 값이었다면, setne로 (값이 같지 않은 경우) 02cb5001로 바뀌게 되고, 이어서 "movzx eax,al"로 인해 eax == 00000001로 최종 완성됩니다.<br /> </p><br /> <br /><hr /><span style='color: Maroon'>[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]</span> </div>
첨부파일
스팸 방지용 인증 번호
6638
(왼쪽의 숫자를 입력해야 합니다.)