| 12405877 |
String analysis in a code scanning engine |
— |
2025-09-02 |
|
| 12182269 |
Automatic generation of patches for security violations |
Domagoj Babic, Franjo Ivancic, Sam Kerner, Markus Kusano, Timothy King +3 more |
2024-12-31 |
$118,851,000 |
| 12118350 |
Hierarchical clustering for coding practice discovery |
Rajdeep Mukherjee, Hoan Anh Nguyen, Pranav Garg, Sengamedu Hanumantha Rao Srinivasan |
2024-10-15 |
$694,739,000 |
| 12050968 |
Detecting, and recommending fixes for, insufficient validation of user inputs in computer software |
Qiang Zhou |
2024-07-30 |
$598,286,000 |
| 12013775 |
Building coverage metrics and testing strategies for mobile testing via view enumeration |
Joseph W. Ligman, Marco Pistoia, Gegi Thomas |
2024-06-18 |
$16,708,000 |
| 12007877 |
Visual query language for code review rules |
Pranav Garg, Sengamedu Hanumantha Rao Srinivasan, Abhin Sharma |
2024-06-11 |
$243,248,000 |
| 11979309 |
System and method for discovering ad-hoc communities over large-scale implicit networks by wave relaxation |
Haim Avron, Lior Horesh, Raya Horesh |
2024-05-07 |
$15,644,000 |
| 11914993 |
Example-based synthesis of rules for detecting violations of software coding practices |
Pranav Garg, Sengamedu Hanumantha Rao Srinivasan, Benjamin Robert Liblit, Rajdeep Mukherjee, Neela Sawant |
2024-02-27 |
$290,362,000 |
| 11886596 |
Precision-tuned runtime monitoring |
Paul Ionescu, Iosif V. Onut |
2024-01-30 |
$13,656,000 |
| 11789724 |
Machine learning to facilitate incremental static program analysis |
Pietro Ferrara, Marco Pistoia, Pascal Roos |
2023-10-17 |
$7,011,000 |
| 11681696 |
Finding services in a service registry system of a service-oriented architecture |
Evgeny Beskrovny, Emmanuel Wurth |
2023-06-20 |
$4,843,000 |
| 11630919 |
Management of sensitive data using static code analysis |
Srinivasan Sengamedu Hanumantha Rao, Qiang Zhou |
2023-04-18 |
$399,170,000 |
| 11586437 |
Data flow tracking in program verification |
Rajdeep Mukherjee, Michael Wilson, Yingjun Lyu |
2023-02-21 |
$230,745,000 |
| 11418535 |
Root cause analysis in dynamic software testing via probabilistic modeling |
Supriyo Chakraborty |
2022-08-16 |
$11,009,000 |
| 11392844 |
Customizable service for recommendations on source code quality |
Srinivasan Sengamedu Hanumantha Rao, Hoan Anh Nguyen, Alok Dhamanaskar, Hakimuddin Hanif, Shishir Sethiya +6 more |
2022-07-19 |
$173,831,000 |
| 11301313 |
Collaborative application testing |
Ory Segal, Roi Saltzman |
2022-04-12 |
$4,292,000 |
| 11288344 |
Protecting an application via an intra-application firewall |
Roee Hay, David Natan Kaplan, Sagi Kedmi |
2022-03-29 |
$6,469,000 |
| 11244057 |
Value based information tracking for security enforcement |
Marco Pistoia, Pietro Ferrara, Petar Tsankov |
2022-02-08 |
$4,353,000 |
| 11240853 |
System, method and apparatus for sensor virtualization in mobile devices |
Marco Pistoia, Gegi Thomas |
2022-02-01 |
$4,586,000 |
| 11227045 |
System, method and apparatus for extracting usage-based fine grained permissions |
Pietro Ferrara, Marco Pistoia |
2022-01-18 |
$5,274,000 |
| 11222135 |
User device privacy protection |
Julian Timothy Dolby, Marco Pistoia, Pietro Ferrara |
2022-01-11 |
$4,843,000 |
| 11194908 |
Synthesizing sanitization code for applications based upon probabilistic prediction model |
Peng Liu, Yunhui Zheng, Marco Pistoia |
2021-12-07 |
$3,115,000 |
| 11188645 |
Identifying whether an application is malicious |
Roee Hay, Daniel Kalman, Roi Saltzman |
2021-11-30 |
$2,996,000 |
| 11176248 |
Remediation of security vulnerabilities in computer software |
— |
2021-11-16 |
$1,912,000 |
| 11176267 |
Fine-grained user control over usages of sensitive system resources having private data with applications in privacy enforcement |
Lucas Brutschy, Pietro Ferrara, Marco Pistoia |
2021-11-16 |
$1,912,000 |
