Inventor

GUARNIERI SALVATORE A

US26 patents

⚠️ This page may combine multiple inventors who share the name “GUARNIERI SALVATORE A”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

GUARNIERI SALVATORE A

IBM

Certifying server side web applications against security vulnerabilities

Enhanced string analysis that improves accuracy of static analysis

Enhanced string analysis that improves accuracy of static analysis

Sound and effective data-flow analysis in the presence of aliasing

After-the-fact configuration of static analysis tools able to reduce user burden

Certifying server side web applications against security vulnerabilities

Developing applications using precise static security analysis

Static security analysis using a hybrid representation of string values

Static security analysis using a hybrid representation of string values

Automatic correction of security downgraders

Automatic correction of security downgraders

Enhanced string analysis that improves accuracy of static analysis

Progressive static security analysis

Scalable and precise string analysis using index-sensitive static string abstractions

Automatic correction of security downgraders

Mitigating security risks via code movement

Progressive static security analysis

Automatic correction of security downgraders

Differential static program analysis

Discovery of application vulnerabilities involving multiple execution flows

Automatic generation of analysis-equivalent application constructs

GLOBALFOUNDRIES US 2 LLC

Partitioning of program analyses into sub-analyses using dynamic hints

Partitioning of program analyses into sub-analyses using dynamic hints

GUARNIERI SALVATORE A

Static security analysis using a hybrid representation of string values

Static security analysis using a hybrid representation of string values

ARTZI SHAY

Automated testing of applications with scripting code