Method and system for analyzing computer software

A computer-implemented system for analyzing binary computing system program data for recursive semantics, the recursive semantics being computational constructs and mechanisms that facilitate self-reference or repetition within binary program inputs and that enable repeated execution of a block of code through direct self-reference, the system comprising:

• a processor;
• and
• a memory storing a computer-executable program,
• wherein when the computer-executable program is executed by the processor, the computer-executable program configures the processor to:
• receive, from a data storage, a memory, or via a communication, or via a user entry through a user interface, at least one binary program input;
• analyze the at least one binary program input using at least one analysis, the at least one analysis configured to extract aspects of structural and functional characteristics of the at least one binary program input;
• create at least one graphical representation or vector of the recursive semantics of the at least one binary program input, wherein said at least one graphical representation or vector captures the structural and functional characteristics of the at least one binary program input corresponding to the recursion and iteration processes within algorithms of the at least one binary program input;
• initialize, if not previously established, at least one program anthology by processing a plurality of known binary programs with identified recursive semantics through the steps of receiving, creating, and analyzing, to accumulate a foundational dataset of algorithms characterized by their structural and functional attributes relevant to the recursive semantics;
• index, subsequent to analysis and initialization, the algorithms of the at least one binary program input within the at least one program anthology, based on their identified structural and functional characteristics, wherein the indexing involves categorizing the identified structural and functional characteristics in relation to symmetry functions and structures indicated in the created at least one graphical representation or vector, thereby enabling gradual enrichment of the at least one program anthology with new algorithmic patterns and recursive semantics insights;
• store the indexed at least one program anthology on data storage, memory, or transmitting the indexed at least one program anthology via communication channels for future reference and retrieval;
• retrieve from the data storage, the memory, or via the communication one or more previously categorized second algorithms, the at least one program anthology;
• and
• determine from the at least one retrieved previously categorized second algorithms, an output indicating the recursive semantics being present in the at least one binary program input that enable the identification of potential security vulnerabilities.