The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jul. 22, 2025
Filed:
Nov. 16, 2022
Massachusetts Institute of Technology, Cambridge, MA (US);
Martin C. Rinard, Arlington, MA (US);
Nikolaos Vasilakis, Somerville, MA (US);
MASSACHUSETTS INSTITUTE OF TECHNOLOGY, Cambridge, MA (US);
Abstract
A system for analysis and steering use of online libraries, contains program source code comprising a plurality of modules, at least one third party library, and a processor and a memory configured to store non-transitory instructions that, when executed by the processor, run a module recontextualization application. The module recontextualization application is configured to decompose a program within the third-party library at boundaries of modules of the program, apply transformations to the decomposed program to insert analysis specific code, and reassemble individual components of the decomposed program to maintain original semantics of the program, while incorporating the transformations that were applied to the decomposed program.