http://rdf.ncbi.nlm.nih.gov/pubchem/patent/CN-109117142-B
Outgoing Links
Predicate | Object |
---|---|
classificationCPCInventive | http://rdf.ncbi.nlm.nih.gov/pubchem/patentcpc/G06F8-53 |
classificationIPCInventive | http://rdf.ncbi.nlm.nih.gov/pubchem/patentipc/G06F8-53 |
filingDate | 2018-07-19-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
grantDate | 2020-11-24-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
publicationDate | 2020-11-24-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
publicationNumber | CN-109117142-B |
titleOfInvention | Basic type reconstruction method based on variable association tree |
abstract | The invention discloses a basic type reconstruction method based on a variable association tree, which is a lightweight basic data type reconstruction method. The method specifically comprises the following steps: after the binary program to be processed is converted into an assembler, the following processing is carried out by taking a function as a unit: extracting operands of assembly instructions in a function unit, constructing a variable association tree (VRT), establishing a corresponding variable address mapping table (VAM), using a register in the assembly program and variable type information in the assembly instructions as a first constraint rule, using an operation relation among variables in the VRT as a second constraint rule, respectively updating type constraint information attributes of nodes in the VRT by using the first constraint rule and the second constraint rule, propagating the type information of parameters and return values of known functions in the assembly program on the VRT to obtain a final VRT, and updating the type constraint information attributes of the variables in the VAM in real time in the processes. And all the VAMs obtained by the analysis of the functional units contain basic type reconstruction results. |
priorityDate | 2018-07-19-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
type | http://data.epo.org/linked-data/def/patent/Publication |
Incoming Links
Total number of triples: 13.