Manticore: a user-friendly symbolic execution framework for binaries and smart contracts
Mossberg, Mark ; Manzano, Felipe ; Hennenfent, Eric ; Groce, Alex ; Grieco, Gustavo ; Feist, Josselin ; Brunson, Trent ; Dinaburg, Artem
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2019, p.1186-1189Piscataway, NJ, USA: IEEE Press
Sem texto completo
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 