Anders Schack-Mulligen
21eb78ea5e
Go: Adjust to use the qlpack data-flow api.
2023-08-01 14:02:33 +02:00
Owen Mansel-Chan
dbc6868bc1
Update go/ql/lib/semmle/go/dataflow/internal/DataFlowNodes.qll
...
Co-authored-by: Chris Smowton <smowton@github.com >
2023-08-01 12:23:49 +01:00
Owen Mansel-Chan
0895853a23
Delete unused testing predicate
2023-07-28 17:09:53 +01:00
Owen Mansel-Chan
00d5cb737c
Different approach to avoiding getTarget()
2023-07-28 17:00:36 +01:00
Owen Mansel-Chan
d2b8d836e9
Avoid using getTarget() as it may not exist
...
Try to also deal with the case that we are calling a function
through a variable that it has been assigned to.
2023-07-28 17:00:34 +01:00
Chris Smowton
f08879a2df
Format; add change note
2023-07-28 14:16:30 +01:00
Chris Smowton
6fa2d2764d
Don't treat logrus' WithContext method as a logging function
...
This isn't output by the default formatters (though a custom formatter could potentially output things stored in it)
2023-07-28 14:11:03 +01:00
Owen Mansel-Chan
e0cc337c71
Fix DataFlow::MergePathGraph3
...
Need to get the signatures correct.
2023-07-26 21:48:08 +01:00
github-actions[bot]
f91b7a9342
Post-release preparation for codeql-cli-2.14.1
2023-07-21 16:16:25 +00:00
github-actions[bot]
c936a920b0
Release preparation for version 2.14.1
2023-07-20 16:32:27 +00:00
Chris Smowton
8e63bd6c78
Correct Golang change note format
2023-07-20 16:40:18 +01:00
Owen Mansel-Chan
374f13e0dc
Revert "Go: Fix missing flow through receiver for function variable"
2023-07-20 13:31:14 +01:00
Owen Mansel-Chan
0a0e9bb25b
Merge pull request #13767 from owen-mc/go/missing-flow-through-receiver
...
Go: Fix missing flow through receiver for function variable
2023-07-19 13:52:25 +01:00
Anders Schack-Mulligen
a9c76d4175
Merge pull request #13717 from aschackmull/dataflow/neverskipadditionalsteps
...
Dataflow: Add support for not skipping configuration-specific nodes in big-step
2023-07-19 14:06:54 +02:00
Owen Mansel-Chan
b9027a0806
Avoid using getTarget() as it may not exist
2023-07-19 12:48:34 +01:00
Owen Mansel-Chan
a1fdc6f438
Merge pull request #13599 from pwntester/ruby/gopg_improvements
...
Go: Improve go-pg support
2023-07-19 12:40:39 +01:00
Owen Mansel-Chan
9b3ff82279
Address review comments
2023-07-19 11:18:20 +01:00
Owen Mansel-Chan
a3ba74a6a6
Cast to MethodCallNode before calling getReceiver()
...
This is not required, because getReceiver is still defined on CallNode,
but is done for consistency.
2023-07-19 11:17:38 +01:00
Anders Schack-Mulligen
e72a0b2f8c
Dataflow: Add change notes.
2023-07-19 11:41:15 +02:00
Anders Schack-Mulligen
95d17045c9
Dataflow: Sync.
2023-07-19 11:41:15 +02:00
Owen Mansel-Chan
de8794e9ba
Make MethodCallNode char pred more accurate
...
When a function is assigned to a variable and called through that
variable then we previously didn't realise it was a function. With
this change we try use local flow to determine if the function being
called is a method.
2023-07-19 10:24:27 +01:00
Alvaro Muñoz
eacecab689
remove PrepareContext
2023-07-17 09:16:32 +02:00
Owen Mansel-Chan
0b8353eb64
Merge pull request #13602 from pwntester/ruby/add_gqlgen_support
...
Go: Add support for the gqlgen library
2023-07-15 07:04:09 +01:00
Alvaro Muñoz
1b6308e32f
Apply suggestions from code review
...
Co-authored-by: Owen Mansel-Chan <62447351+owen-mc@users.noreply.github.com >
2023-07-13 21:32:46 +02:00
Anders Schack-Mulligen
837df2ad37
Dataflow: Sync.
2023-07-13 10:55:39 +02:00
Owen Mansel-Chan
1767ca2682
Merge pull request #13728 from owen-mc/go/minor-cleanup-Twirp-models
...
Go: minor cleanup to Twirp models
2023-07-12 22:59:13 +01:00
Edward Minnix III
541737d1a8
Merge pull request #13694 from egregius313/egregius313/add-default-isBarrier-2-isAdditionalFlowStep-4
...
DataFlow: Add default implementations of isBarrier/2 and isAddiitonalFlowStep/4
2023-07-12 17:10:17 -04:00
Owen Mansel-Chan
8a573cca0f
Merge pull request #13625 from GeekMasher/go-micro
...
[Go] GoMicro framework support
2023-07-12 20:57:01 +01:00
Ed Minnix
63299688d5
Add change notes for default implementations of isBarrier and isAdditionalFlowStep
2023-07-12 15:21:16 -04:00
Ed Minnix
e5ce78caab
Go: Add default implementation of StateConfigSig::isAdditionalFlowStep/4
2023-07-12 15:06:25 -04:00
Ed Minnix
0549b5da87
Go: Add default implementation of StateConfigSig::isBarrier/2
2023-07-12 15:06:25 -04:00
Alvaro Muñoz
0180a482ce
Apply suggestions from code review
...
Co-authored-by: Owen Mansel-Chan <62447351+owen-mc@users.noreply.github.com >
2023-07-12 18:27:45 +02:00
Mathew Payne
8d110ca2ac
remove getName
2023-07-12 17:12:08 +01:00
Mathew Payne
18db525d18
Apply suggestions from code review
...
Co-authored-by: Owen Mansel-Chan <62447351+owen-mc@users.noreply.github.com >
2023-07-12 17:11:40 +01:00
Mathew Payne
3a1e3f71cc
Update go/ql/lib/change-notes/2023-06-29-modelling-go-micro.md
...
Co-authored-by: Owen Mansel-Chan <62447351+owen-mc@users.noreply.github.com >
2023-07-12 15:09:56 +01:00
Owen Mansel-Chan
5f76cafc64
Merge pull request #13672 from owen-mc/go/make-parameter-nodes-for-unused-parameters-2
...
Go: make `ParameterNode`s for unused parameters #2 (make a disjoint class for unused ones)
2023-07-12 15:04:46 +01:00
Mathew Payne
25e7ddec31
Apply suggestions from code review
...
Co-authored-by: Owen Mansel-Chan <62447351+owen-mc@users.noreply.github.com >
2023-07-12 13:08:44 +01:00
Mathew Payne
e31cce56d1
Update go/ql/lib/semmle/go/frameworks/GoMicro.qll
...
Co-authored-by: Owen Mansel-Chan <62447351+owen-mc@users.noreply.github.com >
2023-07-12 13:00:21 +01:00
Mathew Payne
e951720573
Update go/ql/lib/semmle/go/frameworks/GoMicro.qll
...
Co-authored-by: Owen Mansel-Chan <62447351+owen-mc@users.noreply.github.com >
2023-07-12 12:59:45 +01:00
Mathew Payne
7f6067de42
Update go/ql/lib/semmle/go/frameworks/GoMicro.qll
...
Co-authored-by: Owen Mansel-Chan <62447351+owen-mc@users.noreply.github.com >
2023-07-12 12:59:01 +01:00
Mathew Payne
cefb914af6
Update go/ql/lib/semmle/go/frameworks/GoMicro.qll
...
Co-authored-by: Owen Mansel-Chan <62447351+owen-mc@users.noreply.github.com >
2023-07-12 12:58:23 +01:00
Mathew Payne
94e96cb7a8
Update go/ql/lib/semmle/go/frameworks/GoMicro.qll
...
Co-authored-by: Owen Mansel-Chan <62447351+owen-mc@users.noreply.github.com >
2023-07-12 12:57:32 +01:00
Owen Mansel-Chan
78816f082e
Make QLDoc comments more concise too
2023-07-12 11:01:54 +01:00
Owen Mansel-Chan
2ad12f18f1
Make QL more concise
2023-07-12 10:56:03 +01:00
Owen Mansel-Chan
8e85f4d91c
Merge pull request #13601 from pwntester/ruby/add_bun_support
...
Go: Add support for Bun library
2023-07-11 14:48:48 +01:00
Owen Mansel-Chan
84bfd10352
Merge pull request #13589 from owen-mc/go/tolerate-go-mod-not-in-project-root
...
Go: Deal better with a single go.mod file which is not in the project root
2023-07-11 14:32:10 +01:00
Mathew Payne
3cc5ba1eed
Remove un-needed code
2023-07-11 10:26:15 +01:00
Mathias Vorreiter Pedersen
a4c0063ab1
Merge pull request #13679 from MathiasVP/speedup-big-step
...
DataFlow: Speed up the big step relation
2023-07-11 09:44:17 +01:00
Mathew Payne
20d4e53eaf
Update go/ql/lib/change-notes/2023-06-29-modelling-go-micro.md
...
Co-authored-by: Owen Mansel-Chan <62447351+owen-mc@users.noreply.github.com >
2023-07-10 16:44:19 +01:00
Mathew Payne
ceade62f62
Update go/ql/lib/semmle/go/frameworks/GoMicro.qll
...
Co-authored-by: Owen Mansel-Chan <62447351+owen-mc@users.noreply.github.com >
2023-07-10 16:44:11 +01:00