| 일 | 월 | 화 | 수 | 목 | 금 | 토 |
|---|---|---|---|---|---|---|
| 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
- LLVM
- tracerpid
- pthread
- LLVM Obfuscator
- Obfuscator
- Linux packer
- initial-exec
- thread local storage
- apm
- Android
- 난독화
- LLVM 난독화
- so inject
- on-stack replacement
- Injection
- 안티디버깅
- uftrace
- pinpoint
- linux debugging
- v8 tracing
- linux thread
- tracing
- custom packer
- anti debugging
- Linux custom packer
- TLS
- android inject
- on stack replacement
- v8 optimizing
- OSR
Archives
- Today
- Total
Why should I know this?
A Validated Semantics for LLVM IR 본문
Juneyoung_Lee_PhD.pdf (utl.pt)
위는 링크
왜인지 링크가 죽어있어서 다운받아놓은 파일도 첨부합니다.
매우 찾던 내용.
단지, 굳이 SMT?? 에 대한 구체적인 내용이 서술되지 않은 점이 아쉽다.
'LLVM-STUDY > TODO' 카테고리의 다른 글
| [TODO] DominatorTree (0) | 2023.10.20 |
|---|---|
| [TODO] llvm 공부 계획 업데이트 (0) | 2023.10.18 |
| [TODO] undef (0) | 2023.06.16 |
| symbolic execution 이란 무엇인가? (0) | 2023.05.03 |
| instSimplify pass 튜토리얼 중... (0) | 2023.04.12 |
'LLVM-STUDY/TODO' Related Articles
more
Comments