Open AccessA Method of Binary Code Variable Interval Analysis Based on Abstract Interpretation
Author(s) -
Hongbo Gao,
Qingbao Li,
Wei Wang,
Xin Xie,
Yu Zhu
Publication year - 2014
Publication title -
dianzi yu xinxi xuebao
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.191
H-Index - 27
ISSN - 1009-5896
DOI - 10.3724/sp.j.1146.2012.01341
Subject(s) - interpretation (philosophy) , variable (mathematics) , computer science , abstract interpretation , interval (graph theory) , code (set theory) , binary number , algorithm , mathematics , programming language , arithmetic , set (abstract data type) , combinatorics , mathematical analysis