Platform for interprocedural static analysis of binary code
This paper describes the developed platform for static analysis of binary code. The platform is developed based on interprocedural, flow-sensitive and context-sensitive analysis of the program. The machine-independent language REIL is used as an intermediate representation. In this representation ba...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Artigo |
| Jazyk: | Inglês |
| Vydáno: |
Russian Academy of Sciences, Ivannikov Institute for System Programming
2018-12-01
|
| Edice: | Труды Института системного программирования РАН |
| Témata: | |
| On-line přístup: | https://ispranproceedings.elpub.ru/jour/article/view/1106 |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|