FazBrowse GitHub Viewer
|
Trending
|
URL:
|
Home
Tools:
[Download Repo ZIP]
[Original HTTPS Page]
History for rust/ql/src/utils/modelgenerator - github/codeql · GitHub
github
codeql
Repository navigation
Code
Issues
1k
(1k)
Pull requests
489
(489)
Discussions
Actions
Projects
Security and quality
Insights
Commits
Breadcrumbs
History for
codeql
rust
ql
src
utils
modelgenerator
on
codeql-cli/v2.27.1
User selector
Datepicker
Commit history
Commits on Jun 1, 2026
Rust: Rename `Impl::getTrait` to `Impl::getTraitTy`
hvitved
committed
c695c15
View commit details
Copy full SHA for c695c15
View code at this point
Browse repository at this point
Commits on Mar 25, 2026
Rust: Include taint steps when generating flow models
hvitved
committed
fba4a83
View commit details
Copy full SHA for fba4a83
View code at this point
Browse repository at this point
Commits on Jan 13, 2026
Rust: Disable dynamic dispatch when generating models
paldepind
committed
862adec
View commit details
Copy full SHA for 862adec
View code at this point
Browse repository at this point
Shared, rust: Add option to disable reads steps as taint steps in model generator
paldepind
committed
8bfce6b
View commit details
Copy full SHA for 8bfce6b
View code at this point
Browse repository at this point
Rust: Skip model generation for functions with a ; in their canonical path
paldepind
committed
9cdf63e
View commit details
Copy full SHA for 9cdf63e
View code at this point
Browse repository at this point
Commits on Dec 4, 2025
Address review comments
hvitved
committed
bc6d38e
View commit details
Copy full SHA for bc6d38e
View code at this point
Browse repository at this point
Commits on Dec 2, 2025
Rust: Restructure classes representing calls
hvitved
committed
7378fbc
View commit details
Copy full SHA for 7378fbc
View code at this point
Browse repository at this point
Commits on Nov 26, 2025
Remove trailing periods from @name metadata in query files
Show description for caf6b95
felicitymay
committed
caf6b95
View commit details
Copy full SHA for caf6b95
View code at this point
Browse repository at this point
Commits on Nov 19, 2025
Rust: Base `DataFlow::Node` on AST instead of CFG
hvitved
committed
489fff9
View commit details
Copy full SHA for 489fff9
View code at this point
Browse repository at this point
Commits on Jun 20, 2025
Rust: rename `asFunction` to `getFunction`
redsun82
committed
bc8b1f2
View commit details
Copy full SHA for bc8b1f2
View code at this point
Browse repository at this point
Commits on Jun 19, 2025
Rust: fix `debug/CaptureSummaryModelsPartialPath.ql`
redsun82
committed
b5a7f87
View commit details
Copy full SHA for b5a7f87
View code at this point
Browse repository at this point
Rust: regenerate models
redsun82
committed
170dd6c
View commit details
Copy full SHA for 170dd6c
View code at this point
Browse repository at this point
Rust: move model generator to new format
redsun82
committed
79fd10d
View commit details
Copy full SHA for 79fd10d
View code at this point
Browse repository at this point
Commits on Jun 10, 2025
Rust: Use `get(An){Arg,Param}` helper predicates
hvitved
committed
e41b4f4
View commit details
Copy full SHA for e41b4f4
View code at this point
Browse repository at this point
Commits on May 16, 2025
Rust: Skip model generation for functions with semicolon in canonical path
paldepind
committed
fb8b79e
View commit details
Copy full SHA for fb8b79e
View code at this point
Browse repository at this point
Commits on May 14, 2025
Merge pull request #19443 from MathiasVP/generate-more-value-preserving-summaries-2
Show description for e903d76
MathiasVP
authored
e903d76
View commit details
Copy full SHA for e903d76
View code at this point
Browse repository at this point
Commits on May 13, 2025
Rust: Update model generator implementation.
michaelnebel
authored and
MathiasVP
committed
6712cce
View commit details
Copy full SHA for 6712cce
View code at this point
Browse repository at this point
Commits on May 2, 2025
C++/C#/Java/Rust: Fixup tests.
MathiasVP
committed
bce5f25
View commit details
Copy full SHA for bce5f25
View code at this point
Browse repository at this point
Shared/Java/C#/Rust/C++: Rename 'captureHeuristicFlow' to 'captureFlow'.
MathiasVP
committed
4d2f2b8
View commit details
Copy full SHA for 4d2f2b8
View code at this point
Browse repository at this point
Shared: Remove the language-specific model generator scripts
paldepind
committed
c6d95ce
View commit details
Copy full SHA for c6d95ce
View code at this point
Browse repository at this point
Merge branch 'main' into generate-more-value-preserving-summaries-2
MathiasVP
committed
d5bc95d
View commit details
Copy full SHA for d5bc95d
View code at this point
Browse repository at this point
Commits on Apr 30, 2025
Rust: Fixup queries.
MathiasVP
committed
7751973
View commit details
Copy full SHA for 7751973
View code at this point
Browse repository at this point
Commits on Apr 29, 2025
Shared: Sprinkle some predicate defaults and clean up.
michaelnebel
committed
c9d01bc
View commit details
Copy full SHA for c9d01bc
View code at this point
Browse repository at this point
Rust: Re-factor implementation to use the new model generator interface.
michaelnebel
committed
a6b5645
View commit details
Copy full SHA for a6b5645
View code at this point
Browse repository at this point
C#/Java/Rust: Change the tag for the model generator debugging queries.
michaelnebel
committed
89fd9a4
View commit details
Copy full SHA for 89fd9a4
View code at this point
Browse repository at this point
Commits on Apr 25, 2025
C#/Java/Rust: Use Mixed flow from capture summary models queries and adjust other queries to the re-factored implementation.
michaelnebel
committed
2a0097e
View commit details
Copy full SHA for 2a0097e
View code at this point
Browse repository at this point
Commits on Apr 10, 2025
Rust: Fixup MaD input.
MathiasVP
committed
6c348b5
View commit details
Copy full SHA for 6c348b5
View code at this point
Browse repository at this point
Commits on Mar 13, 2025
Rust: Extract data flow node and content into separate files
paldepind
committed
3c64414
View commit details
Copy full SHA for 3c64414
View code at this point
Browse repository at this point
Commits on Mar 4, 2025
Rust: Exclude function without canonical path from model generation
paldepind
committed
c89e648
View commit details
Copy full SHA for c89e648
View code at this point
Browse repository at this point
Commits on Feb 17, 2025
Rust: Add clarifying comment
paldepind
committed
a253b77
View commit details
Copy full SHA for a253b77
View code at this point
Browse repository at this point
Commits on Feb 14, 2025
Rust: Generate sources and sinks
paldepind
committed
632e0c8
View commit details
Copy full SHA for 632e0c8
View code at this point
Browse repository at this point
Commits on Feb 7, 2025
Rust: Handle writes to references and add encoding of reference content
paldepind
committed
1105576
View commit details
Copy full SHA for 1105576
View code at this point
Browse repository at this point
Commits on Feb 5, 2025
Rust: Implement data flow through tuple structs
hvitved
committed
e4d9e29
View commit details
Copy full SHA for e4d9e29
View code at this point
Browse repository at this point
Commits on Feb 4, 2025
Rust: Generate flow summaries for higher-order functions
paldepind
committed
b0a3cdc
View commit details
Copy full SHA for b0a3cdc
View code at this point
Browse repository at this point
Rust: Address PR comments
paldepind
committed
0741331
View commit details
Copy full SHA for 0741331
View code at this point
Browse repository at this point
Previous
Next
Back
|
FazBrowse Home
|
New Git URL