Tom Hvitved

icon company @github icon location Copenhagen, Denmark

Results 39 issues of Tom Hvitved

C#: Adopt shared SSA data-flow integration

This PR adopts the newly introduced shared [SSA data-flow integration layer](https://github.com/github/codeql/pull/16884). A side-effect is that we get [phi-input barrier guards](https://github.com/github/codeql/pull/15985) for free, which had not previously been ported to C#.

C#
no-change-note-required

Java: Adopt shared SSA library

Java

View AST not working when refreshing test DB

**Describe the bug** When refreshing a DB created with `codeql test run` through the `This test database is outdated. Do you want to reimport it?` prompt, the AST viewer does...

bug
VSCode

Data flow: Prevent quadratic blowup in `Stage6Param::localStep`

Go
DataFlow Library

Rust: Use `Callable` to define `CfgScope`

Rust

CFG: Add two more consistency checks

SSA: Lift barrier guards to logical operations

C#
Ruby

Shared: Post-processing query for inline test expectations

C#
JS
C++
Java
Python
Go
Ruby
Rust
Swift
DataFlow Library

Handle chained method calls with command call receivers

Means we can now parse ```rb foo bar do |x| x end.each(&:sort) ``` The increase in `parser.c` is worrisome; is there perhaps a better way?