Semmle Limited

Organization

London, DE

Organizations

Please log in for detailed analytics

Patents Grantslast 30 patents

Information Patent Grant
Commit history linearization
- Patent number 10,467,004
- Issue date Nov 5, 2019
- Semmle Limited
- Robin Neatherway
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Violation match sets
- Patent number 10,430,184
- Issue date Oct 1, 2019
- Semmle Limited
- Robin Neatherway
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Weighting static analysis alerts
- Patent number 10,423,409
- Issue date Sep 24, 2019
- Semmle Limited
- Sebastiaan Johannes van Schaik
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Source code element signatures
- Patent number 10,353,702
- Issue date Jul 16, 2019
- Semmle Limited
- Max Schaefer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Comparing software projects having been analyzed using different cr...
- Patent number 10,346,294
- Issue date Jul 9, 2019
- Semmle Limited
- Sebastiaan Johannes van Schaik
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Coding velocity
- Patent number 10,310,853
- Issue date Jun 4, 2019
- Semmle Limited
- Ian Paul Wright
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Commit graph generation
- Patent number 10,303,469
- Issue date May 28, 2019
- Semmle Limited
- Robin Neatherway
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Evaluating recursive and exiversal predicates
- Patent number 10,262,269
- Issue date Apr 16, 2019
- Semmle Limited
- Ian Lynagh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Aggregating source code metric values
- Patent number 10,261,883
- Issue date Apr 16, 2019
- Semmle Limited
- Julian Tibble
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatically building software projects
- Patent number 10,255,065
- Issue date Apr 9, 2019
- Semmle Limited
- Jonas B. Jensen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Differential recursive evaluation
- Patent number 10,055,197
- Issue date Aug 21, 2018
- Semmle Limited
- Michael Peyton Jones
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Identifying source code used to build executable files
- Patent number 10,048,960
- Issue date Aug 14, 2018
- Semmle Limited
- Peter Cawley
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Algebraic data types for database query languages
- Patent number 10,042,884
- Issue date Aug 7, 2018
- Semmle Limited
- Max Schaefer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Differential recursive evaluation of recursive aggregates
- Patent number 9,996,583
- Issue date Jun 12, 2018
- Semmle Limited
- Michael Peyton Jones
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Scalable transitive violation matching
- Patent number 9,959,116
- Issue date May 1, 2018
- Semmle Limited
- Anders Starcke Henriksen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Rewriting inequality queries
- Patent number 9,946,749
- Issue date Apr 17, 2018
- Semmle Limited
- Arthur Baars
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Extracting source code
- Patent number 9,946,525
- Issue date Apr 17, 2018
- Semmle Limited
- Julian Tibble
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic classification of compilers
- Patent number 9,928,042
- Issue date Mar 27, 2018
- Semmle Limited
- Peter Cawley
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Display panel portion with a computer icon
- Patent number D809007
- Issue date Jan 30, 2018
- Semmle Limited
- Sophie Conchonnet
- D14 - Recording, communication, or information retrieval equipment
Information Patent Grant
Display panel portion with a computer icon
- Patent number D809008
- Issue date Jan 30, 2018
- Semmle Limited
- Sophie Conchonnet
- D14 - Recording, communication, or information retrieval equipment
Information Patent Grant
Generating stable file location identifiers for reference to locati...
- Patent number 9,836,383
- Issue date Dec 5, 2017
- Semmle Limited
- Arthur Baars
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Logging from obfuscated code
- Patent number 9,830,478
- Issue date Nov 28, 2017
- Semmle Limited
- Joshua George Hale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Content-addressable data storage
- Patent number 9,830,345
- Issue date Nov 28, 2017
- Semmle Limited
- Arthur Baars
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generating identifiers for tuples of recursively defined relations
- Patent number 9,830,358
- Issue date Nov 28, 2017
- Semmle Limited
- Alexander Eyers-Taylor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Providing user-specific source code alert information
- Patent number 9,830,148
- Issue date Nov 28, 2017
- Semmle Limited
- Man Yue Mo
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Snapshot manifest for static analysis results
- Patent number 9,830,335
- Issue date Nov 28, 2017
- Semmle Limited
- Julian Tibble
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Data flow analysis with collapsed contexts
- Patent number 9,823,912
- Issue date Nov 21, 2017
- Semmle Limited
- Alexander Spoon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Artifact normalization
- Patent number 9,817,659
- Issue date Nov 14, 2017
- Semmle Limited
- Julian Tibble
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Transitive source code violation matching and attribution
- Patent number 9,798,648
- Issue date Oct 24, 2017
- Semmle Limited
- Anders Starcke Henriksen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Classification of anomalous static analysis rules
- Patent number 9,798,540
- Issue date Oct 24, 2017
- Semmle Limited
- Jean Helie
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
CLASSIFYING SYSTEM-GENERATED CODE
- Publication number 20190205122
- Publication date Jul 4, 2019
- Semmle Limited
- Arthur Baars
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATICALLY BUILDING SOFTWARE PROJECTS
- Publication number 20190205105
- Publication date Jul 4, 2019
- Semmle Limited
- Jonas B. Jensen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMMIT HISTORY LINEARIZATION
- Publication number 20190205126
- Publication date Jul 4, 2019
- Semmle Limited
- Robin Neatherway
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETERMINING SIMILARITY GROUPINGS FOR SOFTWARE DEVELOPMENT PROJECTS
- Publication number 20190205128
- Publication date Jul 4, 2019
- Semmle Limited
- Sebastiaan Johannes van Schaik
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETERMINING PROVENANCE OF FILES IN SOURCE CODE PROJECTS
- Publication number 20190205125
- Publication date Jul 4, 2019
- Semmle Limited
- Sebastiaan Johannes van Schaik
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMMIT REVERSION DETECTION
- Publication number 20190205127
- Publication date Jul 4, 2019
- Semmle Limited
- Man Yue Mo
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPILER CACHING BASED ON SEMANTIC STRUCTURE
- Publication number 20190205107
- Publication date Jul 4, 2019
- Semmle Limited
- Pavel Avgustinov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC DETERMINATION OF DEVELOPER TEAM COMPOSITION
- Publication number 20190129714
- Publication date May 2, 2019
- Semmle Limited
- Ian Paul Wright
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VIOLATION MATCH SETS
- Publication number 20190121636
- Publication date Apr 25, 2019
- Semmle Limited
- Robin Neatherway
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
QUERY LANGUAGE DISTRIBUTION HEURISTICS
- Publication number 20190087456
- Publication date Mar 21, 2019
- Semmle Limited
- Aditya Sharad
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
WEIGHTING STATIC ANALYSIS ALERTS
- Publication number 20180373527
- Publication date Dec 27, 2018
- Semmle Limited
- Sebastiaan Johannes van Schaik
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CODING VELOCITY
- Publication number 20180300127
- Publication date Oct 18, 2018
- Semmle Limited
- Ian Paul Wright
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPARING SOFTWARE PROJECTS HAVING BEEN ANALYZED USING DIFFERENT CR...
- Publication number 20180293160
- Publication date Oct 11, 2018
- Semmle Limited
- Sebastiaan Johannes van Schaik
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOURCE CODE ELEMENT SIGNATURES
- Publication number 20180101379
- Publication date Apr 12, 2018
- Semmle Limited
- Max Schaefer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCALABLE TRANSITIVE VIOLATION MATCHING
- Publication number 20180095746
- Publication date Apr 5, 2018
- Semmle Limited
- Anders Starcke Henriksen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ALGEBRAIC DATA TYPES FOR DATABASE QUERY LANGUAGES
- Publication number 20180096026
- Publication date Apr 5, 2018
- Semmle Limited
- Max Schaefer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
REWRITING INEQUALITY QUERIES
- Publication number 20180067988
- Publication date Mar 8, 2018
- Semmle Limited
- Arthur Baars
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AGGREGATING SOURCE CODE METRIC VALUES
- Publication number 20180032422
- Publication date Feb 1, 2018
- Semmle Limited
- Julian Tibble
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TRANSITIVE SOURCE CODE VIOLATION MATCHING AND ATTRIBUTION
- Publication number 20170235664
- Publication date Aug 17, 2017
- Semmle Limited
- Anders Starcke Henriksen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EXTRACTING SOURCE CODE
- Publication number 20170199732
- Publication date Jul 13, 2017
- Semmle Limited
- Julian Tibble
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC CLASSIFICATION OF COMPILERS
- Publication number 20170192756
- Publication date Jul 6, 2017
- Semmle Limited
- Peter Cawley
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ARTIFACT NORMALIZATION
- Publication number 20170123791
- Publication date May 4, 2017
- Semmle Limited
- Julian Tibble
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DATA FLOW ANALYSIS WITH COLLAPSED CONTEXTS
- Publication number 20170109144
- Publication date Apr 20, 2017
- Semmle Limited
- Alexander Spoon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC DETERMINATION OF COMPILER CONFIGURATION
- Publication number 20170090884
- Publication date Mar 30, 2017
- Semmle Limited
- Peter Cawley
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IMPLICIT SOFTWARE DEPENDENCY ANALYSIS
- Publication number 20170090876
- Publication date Mar 30, 2017
- Semmle Limited
- Joshua George Hale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TIERED ARRAYS
- Publication number 20170090888
- Publication date Mar 30, 2017
- Semmle Limited
- Joshua George Hale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VIRTUAL COMPOSITIONS
- Publication number 20170090890
- Publication date Mar 30, 2017
- Semmle Limited
- Joshua George Hale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IMPLICIT SOFTWARE DEPENDENCY ANALYSIS
- Publication number 20170090877
- Publication date Mar 30, 2017
- Semmle Limited
- Joshua George Hale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC DETERMINATION OF COMPILER CONFIGURATION
- Publication number 20170090885
- Publication date Mar 30, 2017
- Semmle Limited
- Peter Cawley
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
HIERARCHICAL DEPENDENCY ANALYSIS OF SOURCE CODE
- Publication number 20170090889
- Publication date Mar 30, 2017
- Semmle Limited
- Joshua George Hale
- G06 - COMPUTING CALCULATING COUNTING

Trademarklast 30 trademarks

Information Trademark
87687002 - SEMMLE
- Serial number 87687002
- Registration number 5796872
- Filing date Nov 16, 2017
- Semmle Limited
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
79212968 - TARSKI
- Serial number 79212968
- Filing date May 24, 2017
- GitHub Software UK Ltd.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
79202473 - LGTM
- Serial number 79202473
- Registration number 5393326
- Filing date Nov 30, 2016
- GitHub Software UK Ltd.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
87975966 - LGTM
- Serial number 87975966
- Registration number 5347944
- Filing date Jul 11, 2016
- Semmle Limited
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
87099218 - LGTM
- Serial number 87099218
- Registration number 5429120
- Filing date Jul 11, 2016
- Semmle Limited
- 35 - Advertising
Information Trademark
79185472 - CODINGSTARS
- Serial number 79185472
- Filing date Jan 6, 2016
- GitHub Software UK Ltd.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments

Semmle Limited

Organization

Patents Grantslast 30 patents

Commit history linearization

Violation match sets

Weighting static analysis alerts

Source code element signatures

Comparing software projects having been analyzed using different cr...

Coding velocity

Commit graph generation

Evaluating recursive and exiversal predicates

Aggregating source code metric values

Automatically building software projects

Differential recursive evaluation

Identifying source code used to build executable files

Algebraic data types for database query languages

Differential recursive evaluation of recursive aggregates

Scalable transitive violation matching

Rewriting inequality queries

Extracting source code

Automatic classification of compilers

Display panel portion with a computer icon

Display panel portion with a computer icon

Generating stable file location identifiers for reference to locati...

Logging from obfuscated code

Content-addressable data storage

Generating identifiers for tuples of recursively defined relations

Providing user-specific source code alert information

Snapshot manifest for static analysis results

Data flow analysis with collapsed contexts

Artifact normalization

Transitive source code violation matching and attribution

Classification of anomalous static analysis rules

Patents Applicationslast 30 patents

CLASSIFYING SYSTEM-GENERATED CODE

AUTOMATICALLY BUILDING SOFTWARE PROJECTS

COMMIT HISTORY LINEARIZATION

DETERMINING SIMILARITY GROUPINGS FOR SOFTWARE DEVELOPMENT PROJECTS

DETERMINING PROVENANCE OF FILES IN SOURCE CODE PROJECTS

COMMIT REVERSION DETECTION

COMPILER CACHING BASED ON SEMANTIC STRUCTURE

AUTOMATIC DETERMINATION OF DEVELOPER TEAM COMPOSITION

VIOLATION MATCH SETS

QUERY LANGUAGE DISTRIBUTION HEURISTICS

WEIGHTING STATIC ANALYSIS ALERTS

CODING VELOCITY

COMPARING SOFTWARE PROJECTS HAVING BEEN ANALYZED USING DIFFERENT CR...

SOURCE CODE ELEMENT SIGNATURES

SCALABLE TRANSITIVE VIOLATION MATCHING

ALGEBRAIC DATA TYPES FOR DATABASE QUERY LANGUAGES

REWRITING INEQUALITY QUERIES

AGGREGATING SOURCE CODE METRIC VALUES

TRANSITIVE SOURCE CODE VIOLATION MATCHING AND ATTRIBUTION

EXTRACTING SOURCE CODE

AUTOMATIC CLASSIFICATION OF COMPILERS

ARTIFACT NORMALIZATION

DATA FLOW ANALYSIS WITH COLLAPSED CONTEXTS

AUTOMATIC DETERMINATION OF COMPILER CONFIGURATION

IMPLICIT SOFTWARE DEPENDENCY ANALYSIS

TIERED ARRAYS

VIRTUAL COMPOSITIONS

IMPLICIT SOFTWARE DEPENDENCY ANALYSIS

AUTOMATIC DETERMINATION OF COMPILER CONFIGURATION

HIERARCHICAL DEPENDENCY ANALYSIS OF SOURCE CODE

Trademarklast 30 trademarks

87687002 - SEMMLE

79212968 - TARSKI

79202473 - LGTM

87975966 - LGTM

87099218 - LGTM

79185472 - CODINGSTARS