일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
1 | 2 | 3 | 4 | |||
5 | 6 | 7 | 8 | 9 | 10 | 11 |
12 | 13 | 14 | 15 | 16 | 17 | 18 |
19 | 20 | 21 | 22 | 23 | 24 | 25 |
26 | 27 | 28 | 29 | 30 | 31 |
Tags
- v8 tracing
- LLVM
- LLVM 난독화
- v8 optimizing
- 난독화
- linux debugging
- Obfuscator
- thread local storage
- custom packer
- pthread
- uftrace
- 안티디버깅
- TLS
- pinpoint
- android inject
- so inject
- on stack replacement
- tracerpid
- linux thread
- tracing
- anti debugging
- apm
- OSR
- Linux packer
- Linux custom packer
- Android
- initial-exec
- on-stack replacement
- Injection
- LLVM Obfuscator
Archives
- Today
- Total
Why should I know this?
alive2 관련 궁금한거 본문
@a = external global i32
define i1 @src(ptr %ptr) {
entry:
%first1 = getelementptr inbounds i8, ptr %ptr, i32 -2
%last1 = getelementptr inbounds i8, ptr %ptr, i32 48
%last2 = getelementptr inbounds i8, ptr %last1, i32 -6
%cmp = icmp slt ptr %first1, %last2
ret i1 %cmp
}
=> 비교
define i1 @tgt(ptr %ptr) {
%0:
ret i1 1
}
Transformation doesn't verify!
define i1 @tgt(ptr %ptr) {
%0:
ret i1 0
}
Transformation doesn't verify!
참/거짓 둘 중 하나지만 판정은 못하는 것으로 보인다.
다음의 경우는 판정 가능하다
----------------------------------------
define i1 @src(ptr %ptr) {
%entry:
%first1 = gep inbounds ptr %ptr, 1 x i32 4294967294
%last1 = gep inbounds ptr %ptr, 1 x i32 48
%last2 = gep inbounds ptr %last1, 1 x i32 4294967290
%cmp = icmp ult ptr %first1, %last2, offsetonly
ret i1 %cmp
}
=>
define i1 @tgt(ptr %ptr) {
%0:
ret i1 1
}
Transformation seems to be correct!
무슨차이가 있는걸까?
'LLVM-STUDY > ALIVE2' 카테고리의 다른 글
[TODO] Alive: Provably Correct InstCombine Optimizations (0) | 2024.01.14 |
---|---|
ALIVE2 - 관련 내용 모음 (0) | 2023.05.29 |
Comments