Systems and methods to generate a type based self-assembling indirect control flow graph

A system to generate a Type-Based Self-Assembling Indirect Control Flow Graph (TB-SA-ICFG) of a software program, comprising:

• a memory device;
• a processing device, having one or more processors, coupled to the memory device configured to:
• identify a first vertex of an Indirect Control Flow Graph (ICFG), the first vertex representing an indirect control transfer to a first instruction;
• determine a first type signature associated with the indirect control transfer;
• compute a first tag value from the first type signature;
• identify a second vertex of the ICFG, the second vertex representing a second instruction;
• determine a second type signature of the second instruction;
• compute a second tag value from the second type signature;
• and
• identify a valid control transfer from the first vertex to the second vertex when it is determined that the first tag value equals to the second tag value.

A method to generate a Type-Based Self-Assembling Indirect Control Flow Graph (TB-SA-ICFG) of a software program, comprising:

• identifying, by a computing device, a first vertex of an Indirect Control Flow Graph (ICFG), the first vertex representing an indirect control transfer to a first instruction;
• determining a first type signature associated with the indirect control transfer;
• computing a first tag value from the first type signature;
• identifying a second vertex of the ICFG, the second vertex representing a second instruction;
• determining a second type signature of the second instruction;
• computing a second tag value from the second type signature;
• and
• identifying a valid control transfer from the first vertex to the second vertex when it is determined that the first tag value equals to the second tag value.

A non-transitory computer readable medium comprising instructions which when executed by a processing system performs a method to generate a Type-Based Self-Assembling Indirect Control Flow Graph (TB-SA-ICFG) of a software program, comprising:

• identifying a first vertex of an Indirect Control Flow Graph (ICFG), the first vertex representing an indirect control transfer to a first instruction;
• determining a first type signature associated with the indirect control transfer;
• computing a first tag value from the first type signature;
• identifying a second vertex of the ICFG, the second vertex representing a second instruction;
• determining a second type signature of the second instruction;
• computing a second tag value from the second type signature;
• and
• identifying a valid control transfer from the first vertex to the second vertex when it is determined that the first tag value equals to the second tag value.