Max Schaefer 759e3d5632 Further refine potential call targets for interface calls. ...

The call target must belong to the method set of a type that implements the interface type of the method call receiver, if any.

For example, assume `h` has type `hash.Hash`, then `h.Write(...)` should only be resolved to implementations of `Write` in types implementing `hash.Hash`, not arbitrary other `Writer`s.

2020-06-22 09:22:47 +01:00

..

consistency

Add consistency query flagging unexpected frontend errors.

2020-04-17 09:51:06 +01:00

example-tests/snippets

examples/variable: Select declaration as well as the variable

2020-02-12 10:41:58 -08:00

experimental

Move EmailInjection query out of experimental

2020-06-15 17:42:19 +01:00

extractor-tests

Add tests for go1.14 overlapping embedded methods

2020-03-05 13:44:15 -08:00

library-tests/semmle/go

Further refine potential call targets for interface calls.

2020-06-22 09:22:47 +01:00

query-tests

Fix compiler errors in tests.

2020-06-19 14:21:10 +01:00

.project

Go analysis support for CodeQL.

2019-11-08 12:16:26 +00:00

.qlpath

Go analysis support for CodeQL.

2019-11-08 12:16:26 +00:00

qlpack.yml

Add extractor field to QL packs.

2020-04-07 14:41:54 +01:00

queries.xml

Adapt Go tests to codeql test

2019-12-06 18:27:47 +01:00