Inventor · disambiguated record
Salvatore A. Guarnieri
Also filed as: GUARNIERI SALVATORE · GUARNIERI SALVATORE A · GUARNIERI SALVATORE ANGELO
35 granted patents·8 pending applications·61 citations·filing 2012–2017
96Inventor score
Top patents by PatentIndex Score
43 records- 0188US9135147B2Automated testing of applications with scripting codeARTZI SHAY·Filed 2012·Granted Sep 15, 2015·16 cites·23 claims
- 0288US8943599B2Certifying server side web applications against security vulnerabilitiesIBM·Filed 2012·Granted Jan 27, 2015·9 cites·24 claims
- 0381US8844046B2Method and apparatus for paralleling and distributing static source code security analysis using loose synchronizationIBM·Filed 2012·Granted Sep 23, 2014·5 cites·17 claims
- 0480US8984495B2Enhanced string analysis that improves accuracy of static analysisIBM·Filed 2013·Granted Mar 17, 2015·4 cites·23 claims
- 0578US8955139B2Sound and effective data-flow analysis in the presence of aliasingIBM·Filed 2012·Granted Feb 10, 2015·4 cites·17 claims
- 0676US10097574B2Auto-tuning program analysis tools based on user feedbackIBM·Filed 2014·Granted Oct 9, 2018·4 cites·18 claims
- 0775US10545848B2Boosting the efficiency of static program analysis using configuration tuningIBM·Filed 2016·Granted Jan 28, 2020·2 cites·14 claims
- 0875US9223984B2After-the-fact configuration of static analysis tools able to reduce user burdenIBM·Filed 2013·Granted Dec 29, 2015·3 cites·17 claims
- 0973US9176849B2Partitioning of program analyses into sub-analyses using dynamic hintsGLOBALFOUNDRIES US 2 LLC·Filed 2013·Granted Nov 3, 2015·2 cites·17 claims
- 1071US10839312B2Warning filter based on machine learningIBM·Filed 2016·Granted Nov 17, 2020·2 cites·10 claims
- 1171US8949995B2Certifying server side web applications against security vulnerabilitiesIBM·Filed 2012·Granted Feb 3, 2015·2 cites·23 claims
- 1270US10372582B2Enhanced string analysis that improves accuracy of static analysisIBM·Filed 2016·Granted Aug 6, 2019·1 cites·21 claims
- 1367US9208061B2Partitioning of program analyses into sub-analyses using dynamic hintsGLOBALFOUNDRIES US 2 LLC·Filed 2013·Granted Dec 8, 2015·1 cites·19 claims
- 1465US10055590B2Rule matching in the presence of languages with no types or as an adjunct to current analyses for security vulnerability analysisIBM·Filed 2013·Granted Aug 21, 2018·1 cites·16 claims
- 1565US9158923B2Mitigating security risks via code movementIBM·Filed 2013·Granted Oct 13, 2015·1 cites·21 claims
- 1665US8935680B2Differential static program analysisIBM·Filed 2012·Granted Jan 13, 2015·1 cites·17 claims
- 1765US8904543B2Discovery of application vulnerabilities involving multiple execution flowsIBM·Filed 2013·Granted Dec 2, 2014·1 cites·25 claims
- 1862US8661264B1Security model for actor-based languages and apparatus, methods, and computer programming products using sameBLOOM BARD·Filed 2012·Granted Feb 25, 2014·1 cites·21 claims
- 1961US8671284B1Security model for actor-based languages and apparatus, methods, and computer programming products using sameBLOOM BARD·Filed 2012·Granted Mar 11, 2014·1 cites·20 claims
- 2057US9940465B2Static security analysis using a hybrid representation of string valuesIBM·Filed 2016·Granted Apr 10, 2018·0 cites·8 claims
- 2157US9396336B2Automatic correction of security downgradersIBM·Filed 2015·Granted Jul 19, 2016·0 cites·9 claims
- 2257US9166996B2Automatic correction of security downgradersIBM·Filed 2013·Granted Oct 20, 2015·0 cites·10 claims
- 2356US9940464B2Static security analysis using a hybrid representation of string valuesIBM·Filed 2016·Granted Apr 10, 2018·0 cites·9 claims
- 2456US9336120B2Enhanced string analysis that improves accuracy of static analysisIBM·Filed 2013·Granted May 10, 2016·0 cites·21 claims
- 2556US8990949B2Automatic correction of security downgradersIBM·Filed 2013·Granted Mar 24, 2015·0 cites·10 claims
- 2655US9177143B2Progressive static security analysisIBM·Filed 2013·Granted Nov 3, 2015·0 cites·10 claims
- 2754US9405916B2Automatic correction of security downgradersIBM·Filed 2015·Granted Aug 2, 2016·0 cites·10 claims
- 2854US9164869B2Scalable and precise string analysis using index-sensitive static string abstractionsIBM·Filed 2013·Granted Oct 20, 2015·0 cites·12 claims
- 2954US9135441B2Progressive static security analysisIBM·Filed 2013·Granted Sep 15, 2015·0 cites·20 claims
- 3054US2015317237A1Partitioning of program analyses into sub-analyses using dynamic hintsIBM·Filed 2015·Application pending·0 cites
- 3154US2015317238A1Partitioning of Program Analyses into Sub-Analyses Using Dynamic HintsIBM·Filed 2015·Application pending·0 cites
- 3253US9384354B2Rule matching in the presence of languages with no types or as an adjunct to current analyses for security vulnerability analysisIBM·Filed 2013·Granted Jul 5, 2016·0 cites·25 claims
- 3353US9021450B2Scalable and precise string analysis using index-sensitive static string abstractionsIBM·Filed 2013·Granted Apr 28, 2015·0 cites·6 claims
- 3453US2014373157A1After-the-Fact Configuration of Static Analysis Tools Able to Reduce User BurdenIBM·Filed 2013·Application pending·0 cites
- 3552US2014208428A1Mitigating security risks via code movementIBM·Filed 2013·Application pending·0 cites
- 3651US2014130153A1Sound and effective data-flow analysis in the presence of aliasingIBM·Filed 2012·Application pending·0 cites
- 3751US2014157419A1Discovery of application vulnerabilities involving multiple execution flowsIBM·Filed 2012·Application pending·0 cites
- 3851US2014115564A1Differential static program analysisIBM·Filed 2012·Application pending·0 cites
- 3950US9460282B2Static security analysis using a hybrid representation of string valuesGUARNIERI SALVATORE A·Filed 2012·Granted Oct 4, 2016·0 cites·17 claims
- 4050US9424423B2Static security analysis using a hybrid representation of string valuesGUARNIERI SALVATORE A·Filed 2012·Granted Aug 23, 2016·0 cites·18 claims
- 4149US2014090068A1Method and apparatus for paralleling and distributing static source code security analysis using loose synchronizationIBM·Filed 2012·Application pending·0 cites
- 4247US10956562B2Developing applications using precise static security analysisIBM·Filed 2017·Granted Mar 23, 2021·0 cites·16 claims
- 4347US9459986B2Automatic generation of analysis-equivalent application constructsIBM·Filed 2013·Granted Oct 4, 2016·0 cites·14 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →