Skip to content

Conversation

@aibaars
Copy link

@aibaars aibaars commented Jul 14, 2023

No description provided.

@aibaars aibaars force-pushed the smowton/feature/java-maven-index-builder branch from 5663c02 to 7a963c4 Compare July 20, 2023 12:46
@aibaars aibaars changed the title Java: improve argument handling of pick-best-jars.py Java: improve argument handling of pick-best-jars.py and handle module-info and META-INF/versions Jul 20, 2023
@smowton smowton merged commit fb603fc into smowton:smowton/feature/java-maven-index-builder Jul 20, 2023
smowton pushed a commit that referenced this pull request Jul 20, 2023
…for-unused-parameters-2

Go: make `ParameterNode`s for unused parameters #2 (make a disjoint class for unused ones)
smowton pushed a commit that referenced this pull request Sep 16, 2024
C++: Fix zstd and clean up test
smowton pushed a commit that referenced this pull request Dec 20, 2024
Refactor CfgScopes and Ast predicate names
smowton pushed a commit that referenced this pull request Dec 20, 2024
Split sources by taint type
smowton pushed a commit that referenced this pull request Feb 14, 2025
smowton pushed a commit that referenced this pull request Mar 27, 2025
Go: Add database source models for the github.com/couchbase/gocb package (#2)
smowton pushed a commit that referenced this pull request Mar 28, 2025
Go: Add `database` source models for the `squirrel` package (#2)
redsun82 pushed a commit that referenced this pull request May 2, 2025
JS: Add isMiddlewareSetup() hook to Routing model
smowton pushed a commit that referenced this pull request May 13, 2025
Implement first stage cryptography modelling and queries
smowton pushed a commit that referenced this pull request Oct 24, 2025
smowton pushed a commit that referenced this pull request Dec 8, 2025
…8e3d-0895-49ec-9025-a9864c8e5367

Fix generate-code-scanning-query-list.py to handle empty code-quality-extended suites
smowton pushed a commit that referenced this pull request Dec 8, 2025
smowton pushed a commit that referenced this pull request Dec 8, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants