| 일 | 월 | 화 | 수 | 목 | 금 | 토 |
|---|---|---|---|---|---|---|
| 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
- uftrace
- Linux packer
- OSR
- pthread
- Android
- apm
- on stack replacement
- linux debugging
- Linux custom packer
- android inject
- Obfuscator
- on-stack replacement
- LLVM Obfuscator
- anti debugging
- LLVM
- so inject
- TLS
- tracing
- initial-exec
- LLVM 난독화
- v8 tracing
- 난독화
- tracerpid
- linux thread
- thread local storage
- v8 optimizing
- pinpoint
- Injection
- custom packer
- 안티디버깅
Archives
- Today
- Total
Why should I know this?
SMT survey 본문
다음 두 논문 추천 (공교롭게도 제목이 같다.)
Satisfiability Modulo Theories
Satisfiability Modulo Theories: An Appetizer
'LLVM-STUDY > TODO' 카테고리의 다른 글
| symbolic execution 이란 무엇인가? (0) | 2023.05.03 |
|---|---|
| instSimplify pass 튜토리얼 중... (0) | 2023.04.12 |
| LLVM Obfucation example - Control Flow Flattening with ChatGPT (0) | 2023.03.19 |
| LLVM Optimization study - simplify with ChatGPT (0) | 2023.03.19 |
| LLVM instruction 추가 PR (0) | 2023.03.17 |
Comments