logo

For the Inventor, By the Inventor

Oxford, United Kingdom

Semmle Limited


USPTO Granted Patents = 94

% Expired Patents = 26.6


Trademarks = 1

Forward Citations = 849

Loading Chart...
Loading Chart...

30 inventors (with patents filed for the assignee):

goldMedal Julian Tibble (19 out of 20 patents)

silverMedal Pavel Avgustinov (18 out of 20 patents)

bronzeMedal Anders Starcke Henriksen (17 out of 17 patents)

4.  Joshua George Hale (17 out of 17 patents)

5.  Arthur Baars (14 out of 15 patents)

6.  Max Schaefer (14 out of 21 patents)

7.  Oege De Moor (13 out of 14 patents)

8.  Luke James Cartey (11 out of 11 patents)

9.  Peter Cawley (10 out of 10 patents)

10.  Sebastiaan Johannes Van Schaik (7 out of 12 patents)

11.  Geoffrey White (6 out of 6 patents)

12.  Yorck Huenke (5 out of 5 patents)

13.  Ricardo Pescuma Domenecci (5 out of 5 patents)

14.  Robin Neatherway (4 out of 6 patents)

15.  Alexander Eyers-Taylor (4 out of 5 patents)


Core Competencies:
Source Code
Static Analysis
Violation Matching
Developer Behavior
Dependency Analysis
Quality Metrics
Data Flow Analysis
Artifact Normalization
Recursive Aggregates
Contextual Ranking
Compiler Configuration
Software Dependencies

94 patents:

1. 10467004 - Commit history linearization (2019-11-05),
2. 10430184 - Violation match sets (2019-10-01),
3. 10423409 - Weighting static analysis alerts (2019-09-24),
4. 10353702 - Source code element signatures (2019-07-16),
5. 10346294 - Comparing software projects having been analyzed using different criteria (2019-07-09),
6. 10310853 - Coding velocity (2019-06-04),
7. 10303469 - Commit graph generation (2019-05-28),
8. 10262269 - Evaluating recursive and exiversal predicates (2019-04-16),
9. 10261883 - Aggregating source code metric values (2019-04-16),
10. 10255065 - Automatically building software projects (2019-04-09),
11. 10055197 - Differential recursive evaluation (2018-08-21),
12. 10048960 - Identifying source code used to build executable files (2018-08-14),
13. 10042884 - Algebraic data types for database query languages (2018-08-07),
14. 9996583 - Differential recursive evaluation of recursive aggregates (2018-06-12),
15. 9959116 - Scalable transitive violation matching (2018-05-01),
Semmle Limited, based in Oxford, specializes in advanced source code analysis technologies. The company focuses on static analysis, enabling developers to identify and resolve code vulnerabilities effectively. Its core offerings include violation matching, dependency analysis, and data flow analysis, which enhance software quality and developer behavior insights. By providing tools that normalize artifacts and assess quality metrics, Semmle empowers organizations to improve their software development processes and maintain high standards in code integrity.
Profile summary based on public USPTO records.

logo

Company Badge

USPTO Data Jan 1 1976 - Sep 29 2026

Semmle Limited
94 Patents

#5 in Oxford

#196 in United Kingdom

#8,178 in the World

Oxford, GB
Oxford, United Kingdom

Semmle Limited

Forward Citations = 849

30 inventors:

goldMedal Julian Tibble (19 out of 20 patents)

silverMedal Pavel Avgustinov (18 out of 20 patents)

bronzeMedal Anders Starcke Henriksen (17 out of 17 patents)

4.  Joshua George Hale (17 out of 17 patents)

5.  Arthur Baars (14 out of 15 patents)

Please report any incorrect information to [email protected]
Loading…