External models: read and atoi - Githubissues

KeenSecurityLab / BinAbsInspector

BinAbsInspector: Vulnerability Scanner for Binaries

GNU General Public License v3.0

1.58k stars 231 forks source link

External models: read and atoi #21

Closed MatthewShao closed 2 years ago

MatthewShao commented 2 years ago

Add read function model.
Extend atoi function model with its variants.