John L. Singleton
John L. Singleton
What facilities are provided for accessing (via API) the AST of the parsed program? I can't seem to find this information in the documentation.
What is the best way to support something akin to multiple compilation units in K? Using Java for an example, if I had two files, `MyInterface.java` and `MyClass.java` the natural...
Using KDoc on the examples included with the download doesn't seem to be working. In `k/tutorial/1_k/1_lambda/lesson_1` I tried: ``` > kompile lambda.k > kdoc --format html --debug -v Parse command...
WIP of a performance viewer for CodeQL ## Checklist - [x] [CHANGELOG.md](https://github.com/github/vscode-codeql/blob/main/extensions/ql-vscode/CHANGELOG.md) has been updated to incorporate all user visible changes made by this pull request. - [ ] Issues...
If not, I'd love to see this feature.
Our current release (2.24.0 as of the time of writing) does not have the artifact versions embedded into them as was previously the case. This issue is an enhancement issue...
### Affected rules - A7-1-2 ### Description False positive reported for the following test case. In the example, below, `a712` must be `constexpr` for `value` to be declared `constexpr`. However,...
Context: https://github.com/github/codeql-coding-standards/pull/45#discussion_r943837378 Although this query will catch a lot real-world examples of flawed usage of weak cmpxchg functions (e.g., those used in one-off if-statements), I think that if false-positives don't...