Is a
Patent attributes
Patent Jurisdiction
Patent Number
Date of Patent
September 30, 2008
Patent Application Number
11940750
Date Filed
November 15, 2007
Patent Primary Examiner
Patent abstract
A method of validating binary code transformation in one aspect includes analyzing original program and transform program. Control flow graphs are generated for both programs. The two graphs are traversed to create respective linear invariant representations. The linear representations are compared to identify incorrect transformations.
Timeline
No Timeline data yet.
Further Resources
No Further Resources data yet.
