Search Results - "Binary Libification Procedural Debugging Function Prototype Annotations"

Automatic Functions Annotations through Concrete Procedural Debugging and ELF Libification

Authors: Brossard, Jonathan

Contributors: Brossard, Jonathan

Source: Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing. :1894-1898

Subject Terms: Binary Libification, Binary Libification Procedural Debugging Function Prototype Annotations, Procedural Debugging, Function Prototype Annotations, [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR]

File Description: application/pdf

Access URL: https://hal.science/hal-05037497v1
https://hal.science/hal-05037497v1/document
https://doi.org/10.1145/3672608.3707995