Popular repositories
-
codeql Public
Forked from github/codeql
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security (code scanning), LGTM.com, and LGTM Enterprise
CodeQL
1,266 contributions in the last year
Contribution activity
May 2023
Created 31 commits in 1 repository
Created a pull request in github/codeql that received 14 comments
C#: Entity framework. Convert DbSet summaries to MaD models.
In this PR we re-factor the summarized callable definitions for DbSet<TEntity> to use Models as Data.
It turned out that the hand-written stubs tha…
+83
−61
•
14
comments
Opened 9 other pull requests in 1 repository
github/codeql
4
open
4
merged
1
closed
- C#: Re-factor getComponent.
- C#: Add extension method testcase for Models as Data.
- C#: System.DateTime defaults.
- C#: Remove empty consistency files.
- C#: Remove jump step
- C#: Use synthetic global in the EntityFramework code instead of jump steps.
- C#: Only report dataflow inconsistencies (step to itself) in source code.
- C#: Re-factor CIL data flow test to use the new API.
- C#: Delete all deprecated data flow and tainttracking configurations and the legacy dataflow library.
Reviewed 16 pull requests in 1 repository
github/codeql
16 pull requests
- C#: Re-factor getComponent.
- Update CSV framework coverage reports
-
Add forgotten classes related to the legacy
InlineExpectationsTestclass - C#: Use synthetic global in the EntityFramework code instead of jump steps.
- C#: update MaD sink kinds
- C#: Entity framework. Convert DbSet summaries to MaD models.
- C#: Remove local identity flow steps
- [CSharp] Additional data extensions for sink models
- C#, C++: Make implicit this receivers explicit
- C#: Make implicit this receivers explicit
- C#: Re-factor the experimental PotentialTimeBomb to use new API.
- C#: Re-factor CIL data flow test to use the new API.
- C#: Re-factor the UnsafeDeserializationQuery to use the new API.
- WIP: Add threat models to java
- C#: Re-factor ContentFlow to a parameterised module and use the new API.
- Java: Fix sink model generator for instance parameters