책에 나온 코드의 의미를 모르겠습니다.(CSAPP)

Question

Being able to work backward from assembly code to C code is a prime example of reverse engineering. A. We can see that the code uses the jump-to-middle translation, using the jmp instruction on line 3. (무시하셔도 됩니다.)B. Here is the original C code: short test_one(unsigned short x){ short val &#61; 1; while (x) { val ^&#61; x; x >>&#61; 1; } return val & 0; }C. This code computes the parity of argument x. That is, it returns 1 if there is an odd number of ones in x and 0 if there is an even number.어셈블리는 이러합니다.1 test_one: 2 movl $1, %eax 3 jmp .L5 4 .L6: 5 xorq %rdi, %rax 6 shrq %rdi //Shift right by 1 7 .L5: 8 testq %rdi, %rdi 9 jne .L610 andl $0, %eax11 ret 제가 모르겠는 부분은 이렇습니다.1. short 자료형으로 변수들을 선언했는데 어셈블리에서는 왜 4바이트 용량이상의 레지스터를 사용하나요?2. 위 함수는 아무리 봐도 기괴한 연산을 한 이후 무조건 0을 리턴하는 함수같습니다. 이 함수가 parity를 계산해내는 함수라는데 만약 책에 오류가 있을 경우 어느 부분이 문제가 돼서 이상한 함수가 된 것 같나요?

howoni123 · Accepted Answer

이거 아무리봐도 패리티 비트 계산 관련된 내용인거 같은데 원본 c코드가 이상한거 같아서 찾아봣는데ㅋㅋ동일 책 이름에 동일 코드가 있는데 해당 부분은 다르네요. (문제는 아래는 parity bit에 대해서 언급해있는데 원하는 결과도 안나오는...)질문자님 말씀대로 저렇게 짤 경우에 디버깅시 mov $eax, 0 으로 아예 0을 return합니다.책이 옮겨지면서 개판된거 같네요 덕분에 저도 공부하고 갑니다. https://studylib.net/doc/25244196/computer-systems%3B-a-programmer-s-perspective---randal-e.-...353페이지(뷰어기준) / 237 페이지 * 이게 맞는거임https://studylib.net/doc/25394867/computer-systems-a-programmer%E2%80%99s-perspective-third-edition... 373페이지(뷰어기준) / 265 페이지

흰물 · Answer

&#64;howoni123정말 감사합니다. 혼자 공부하는데 이런거 지적해줄 사람이 없는데다가 Global 3rd 버젼에 오류가 정말 많아서 고생하고 있었습니다. 링크 보니까 C코드에 short 자료형으로 선언한 것도 오류가 맞는 것 같네요. NA 3rd랑 2rd도 참고하면서 오류 교정해봐야겠어요.

책에 나온 코드의 의미를 모르겠습니다.(CSAPP)

2개의 답변

Q&A 목록