Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
Accelerator
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
Uh oh!
There was an error while loading.
Please reload this page
.
github
/
codeql
Public
Notifications
You must be signed in to change notification settings
Fork
2.1k
Star
10k
Code
Issues
994
Pull requests
447
Discussions
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Discussions
Actions
Projects
Security and quality
Insights
Commits
Breadcrumbs
History for
codeql
csharp
ql
src
utils
modelgenerator
on
codeql-cli-2.20.0
User selector
All users
All time
Commit history
Commits on Nov 6, 2024
C#/Java: Exclude summaries using callbacks in fields, properties and synthetic fields.
michaelnebel
committed
55cfbcc
View commit details
Copy full SHA for 55cfbcc
View code at this point
Browse repository at this point
C#: Simplify delegate read and store steps (remove dependency on parameter).
michaelnebel
committed
5c38935
View commit details
Copy full SHA for 5c38935
View code at this point
Browse repository at this point
C#: Add read and store steps for delegate calls.
michaelnebel
committed
fe85481
View commit details
Copy full SHA for fe85481
View code at this point
Browse repository at this point
Commits on Sep 27, 2024
Shared: Only make unlifted models in case the API itself is relevant.
michaelnebel
committed
80497f5
View commit details
Copy full SHA for 80497f5
View code at this point
Browse repository at this point
C#/Java: Add a query that uses both content based and non-content based model generation.
michaelnebel
committed
8310faa
View commit details
Copy full SHA for 8310faa
View code at this point
Browse repository at this point
Commits on Sep 24, 2024
Shared: Put the content of CaptureSummaryFlowQuery into the shared library code.
michaelnebel
committed
e608575
View commit details
Copy full SHA for e608575
View code at this point
Browse repository at this point
Shared: Move the model generator implementation to an internal folder.
michaelnebel
committed
fd45d2d
View commit details
Copy full SHA for fd45d2d
View code at this point
Browse repository at this point
Shared: Make a ContentSensitive module with predicates and classes related to content flow.
michaelnebel
committed
22c2522
View commit details
Copy full SHA for 22c2522
View code at this point
Browse repository at this point
Commits on Sep 19, 2024
C#: Use the shared model generator implementation.
michaelnebel
committed
1f3b28a
View commit details
Copy full SHA for 1f3b28a
View code at this point
Browse repository at this point
Commits on Sep 17, 2024
C#/Java: Address review comments.
michaelnebel
committed
68165bb
View commit details
Copy full SHA for 68165bb
View code at this point
Browse repository at this point
Commits on Sep 10, 2024
C#: Add the capture content summary models query.
michaelnebel
committed
da012a7
View commit details
Copy full SHA for da012a7
View code at this point
Browse repository at this point
C#: Sync changes and make language specific parts.
michaelnebel
committed
e948902
View commit details
Copy full SHA for e948902
View code at this point
Browse repository at this point
Commits on Sep 5, 2024
Java/C#: Address review comments.
michaelnebel
committed
e1048cf
View commit details
Copy full SHA for e1048cf
View code at this point
Browse repository at this point
Commits on Sep 3, 2024
C#: Sync changes and make C# implementation.
michaelnebel
committed
486246c
View commit details
Copy full SHA for 486246c
View code at this point
Browse repository at this point
Commits on Aug 26, 2024
Merge pull request #17246 from michaelnebel/modelgendebug
Show description for e81fdc9
michaelnebel
authored
e81fdc9
View commit details
Copy full SHA for e81fdc9
View code at this point
Browse repository at this point
C#/Java: Address review comments.
michaelnebel
committed
34d83a6
View commit details
Copy full SHA for 34d83a6
View code at this point
Browse repository at this point
Commits on Aug 20, 2024
C#: Add some summary debugging queries.
michaelnebel
committed
6ea01b8
View commit details
Copy full SHA for 6ea01b8
View code at this point
Browse repository at this point
Commits on Aug 13, 2024
C#: Implement `ContentSet`
hvitved
committed
f6ec56a
View commit details
Copy full SHA for f6ec56a
View code at this point
Browse repository at this point
Merge pull request #16817 from hvitved/csharp/multi-body-dataflow-dispatch
Show description for fbcb449
hvitved
authored
fbcb449
View commit details
Copy full SHA for fbcb449
View code at this point
Browse repository at this point
Commits on Jul 15, 2024
C#: Code quality improvement.
michaelnebel
committed
8eba4a3
View commit details
Copy full SHA for 8eba4a3
View code at this point
Browse repository at this point
Commits on Jul 11, 2024
C#: Restrict multi-body dataflow dispatch based on file-system distance
hvitved
committed
0459422
View commit details
Copy full SHA for 0459422
View code at this point
Browse repository at this point
Commits on Jul 2, 2024
C#: Do not generate source models for Overriable callables that overrides or implements something.
michaelnebel
committed
5639ada
View commit details
Copy full SHA for 5639ada
View code at this point
Browse repository at this point
Commits on Jun 27, 2024
C#: Only lift summary models in the model generator.
michaelnebel
committed
64ac52e
View commit details
Copy full SHA for 64ac52e
View code at this point
Browse repository at this point
Commits on Jun 24, 2024
C#: Exclude APIs with a manual source neutral from source model generation and allow source generation for all source kinds.
michaelnebel
committed
b27a9d9
View commit details
Copy full SHA for b27a9d9
View code at this point
Browse repository at this point
C#: Adjust implementation to use the shared model printer.
michaelnebel
committed
b7bc540
View commit details
Copy full SHA for b7bc540
View code at this point
Browse repository at this point
Commits on Jun 19, 2024
C#: Only allow source propgatation upwards in the call stack if the call path consists of unique call targets (to avoid unwanted virtual dispatch). This severely tightens the generation of extrapol…
Show description for 4020491
michaelnebel
committed
4020491
View commit details
Copy full SHA for 4020491
View code at this point
Browse repository at this point
Commits on Jun 18, 2024
C#: Some renaming and re-factoring.
michaelnebel
committed
1c3ceac
View commit details
Copy full SHA for 1c3ceac
View code at this point
Browse repository at this point
C#: Use the same types as sanitizers for source and sink model as we use for summary model generation.
michaelnebel
committed
b5d6a6d
View commit details
Copy full SHA for b5d6a6d
View code at this point
Browse repository at this point
Commits on Jun 14, 2024
C#/Java: Address review comments.
michaelnebel
committed
a29446a
View commit details
Copy full SHA for a29446a
View code at this point
Browse repository at this point
Commits on Jun 12, 2024
C#: Perceive field and property reads as additional flow steps in sink extrapolation.
michaelnebel
committed
91ebeee
View commit details
Copy full SHA for 91ebeee
View code at this point
Browse repository at this point
Commits on May 31, 2024
C#: The model generator should consider System.Type and System.DateTime as sanitizers.
michaelnebel
committed
8b75bb2
View commit details
Copy full SHA for 8b75bb2
View code at this point
Browse repository at this point
Commits on May 28, 2024
C#: Address review comments.
michaelnebel
committed
5a25967
View commit details
Copy full SHA for 5a25967
View code at this point
Browse repository at this point
Commits on May 24, 2024
C#: Use manual sink callables as exclusion for extrapolated sinks.
michaelnebel
committed
c59c7cf
View commit details
Copy full SHA for c59c7cf
View code at this point
Browse repository at this point
C#: Introduce lifting of callables in the model generator.
michaelnebel
committed
a8feda2
View commit details
Copy full SHA for a8feda2
View code at this point
Browse repository at this point
C#: Re-factor model generator specific to align with Java.
michaelnebel
committed
3ad29d8
View commit details
Copy full SHA for 3ad29d8
View code at this point
Browse repository at this point
Previous
Next
You can’t perform that action at this time.