Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
書誌事項
- 公開日
- 2019-11
- 権利情報
-
- https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html
- https://doi.org/10.15223/policy-029
- https://doi.org/10.15223/policy-037
- DOI
-
- 10.1109/ase.2019.00133
- 公開者
- IEEE
収録刊行物
-
- 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)
-
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) 1186-1189, 2019-11
IEEE