System and method for securing web application code and verifying correctness of software
YW Huang, F Yu, C Tsai, C Hang, DT Lee… - US Patent …, 2013 - Google Patents
Methods, software tools and systems for analyzing software applications, eg, Web
applications, are described. A software application to be analyzed is transformed into an …
applications, are described. A software application to be analyzed is transformed into an …
Software vulnerabilities detection system and methods
JM Daymont - US Patent 9,454,659, 2016 - Google Patents
This invention teaches a system and methods of detecting software vulnerabilities in a
computer program by analyzing the compiled code and optionally the source code of the …
computer program by analyzing the compiled code and optionally the source code of the …
High performance software vulnerabilities detection system and methods
JM Daymont - US Patent 9,824,214, 2017 - Google Patents
This invention teaches a system and methods of detecting software vulnerabilities in a
computer program by analyzing the compiled code and optionally the source code of the …
computer program by analyzing the compiled code and optionally the source code of the …
System and method for static detection and categorization of information-flow downgraders
A system and method for static detection and categorization of information-flow downgraders
includes transforming a program stored in a memory device by statically analyzing program …
includes transforming a program stored in a memory device by statically analyzing program …
Automatic inference of whitelist-based validation as part of static analysis for security
A method includes performing taint analysis of a computer program and determining an
original set of paths from sources to sinks. Each path corresponds to a vulnerability. The …
original set of paths from sources to sinks. Each path corresponds to a vulnerability. The …
High performance software vulnerabilities detection system and methods
JM Daymont - US Patent 10,599,852, 2020 - Google Patents
(57) ABSTRACT Related US Application Data This invention teaches a system and methods
of detecting (63) Continuation-in-part of application No. 15/014,309, software vulnerabilities …
of detecting (63) Continuation-in-part of application No. 15/014,309, software vulnerabilities …
Software vulnerabilities detection system and methods
JM Daymont - US Patent 9,715,593, 2017 - Google Patents
This invention discloses a system and methods of detecting Software Vulnerabilities in a
computer program. The inven tion models compiled software to examine both control flow …
computer program. The inven tion models compiled software to examine both control flow …
Selective data flow analysis of bounded regions of computer software applications
D Kalman, D Pikus, O Tripp, O Weisman - US Patent 8,671,397, 2014 - Google Patents
The term “static analysis” as it relates to computer software typically refers to analysis of the
instructions of a computer Software application that does not rely on the run-time execu tion …
instructions of a computer Software application that does not rely on the run-time execu tion …
Method to check application programming interface correctness in software
Techniques for performing compile-time checks of source code using static analysis are
described herein. One or more application programming interface calls to a remote com …
described herein. One or more application programming interface calls to a remote com …
Abstracting benefit rules from computer code
J Bnayahu, EF Nazarko, M Nisenson… - US Patent …, 2013 - Google Patents
(57) ABSTRACT A method that includes: obtaining a computer code usable to process
insurance claims; building a computer readable directed graph representing a control flow of …
insurance claims; building a computer readable directed graph representing a control flow of …