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 |
|
Mathew Payne
|
9c1a0225eb
|
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:43:54 +01:00 |
|
github-actions[bot]
|
13cf054a9d
|
Post-release preparation for codeql-cli-2.14.0
|
2023-07-07 14:55:41 +00:00 |
|
github-actions[bot]
|
6484ee106e
|
Release preparation for version 2.14.0
|
2023-07-07 08:22:14 +00:00 |
|
Dave Bartolomeo
|
9631e9f2f1
|
Bump minor version numbers post-GHES
|
2023-07-06 10:10:01 -04:00 |
|
Dave Bartolomeo
|
2bb9adfbf1
|
Merge remote-tracking branch 'origin/main' into dbartol/mergeback-3.10
|
2023-07-06 10:00:46 -04:00 |
|
Mathias Vorreiter Pedersen
|
83d0dec0fb
|
DataFlow: Sync identical files.
|
2023-07-06 14:00:00 +01:00 |
|
Owen Mansel-Chan
|
af5558a397
|
Add ParameterNodes for unused parameters
|
2023-07-05 22:25:44 +01:00 |
|
Owen Mansel-Chan
|
12723f5a7d
|
Add change note
|
2023-07-05 22:10:54 +01:00 |
|
Michael Nebel
|
238f390738
|
Merge pull request #13452 from michaelnebel/refactorstackprinting
Re-factor printing of summary component stacks.
|
2023-07-04 08:29:10 +02:00 |
|
Michael Nebel
|
243c592447
|
Address review comments.
|
2023-07-03 17:01:08 +02:00 |
|
Michael Nebel
|
bddd22f522
|
Sync files and make language specific adjustments.
|
2023-07-03 14:36:07 +02:00 |
|
Michael Nebel
|
c18f4b1604
|
Sync files and make language specific rename.
|
2023-07-03 14:36:06 +02:00 |
|
Chuan-kai Lin
|
ce464a7d69
|
Remove pragma[assume_small_delta]
|
2023-06-30 11:09:29 -07:00 |
|
Mathew Payne
|
48966d65dd
|
feat: client service support
|
2023-06-30 12:44:09 +01:00 |
|
Mathew Payne
|
b3df568550
|
fix: Update docs and import
|
2023-06-30 12:08:58 +01:00 |
|
Mathew Payne
|
5178df0b4a
|
feat: add missing docs
|
2023-06-30 11:13:35 +01:00 |
|
Alvaro Muñoz
|
fc527ae7e4
|
address code review feedback
|
2023-06-30 11:40:21 +02:00 |
|
Owen Mansel-Chan
|
47e6d3719f
|
Fix absolute path removal on windows
|
2023-06-30 10:36:05 +01:00 |
|
Alvaro Muñoz
|
a975314679
|
Apply suggestions from code review
Co-authored-by: Owen Mansel-Chan <62447351+owen-mc@users.noreply.github.com>
|
2023-06-30 10:58:00 +02:00 |
|
github-actions[bot]
|
668aaa2dc8
|
Post-release preparation for codeql-cli-2.13.5
|
2023-06-30 08:51:48 +00:00 |
|
Mathew Payne
|
427a1585ea
|
feat: update change notes and add to go.qll
|
2023-06-29 18:33:07 +01:00 |
|
Mathew Payne
|
236e81da45
|
feat: initial GoMicro modelling
|
2023-06-29 18:27:58 +01:00 |
|
Owen Mansel-Chan
|
f1a9f3163c
|
Remove absolute paths from test output
|
2023-06-29 16:56:36 +01:00 |
|
Alvaro Muñoz
|
a26bdda668
|
Add QLdocs for gqlgen.qll
|
2023-06-29 11:26:36 +02:00 |
|
github-actions[bot]
|
9d7987f822
|
Release preparation for version 2.13.5
|
2023-06-29 09:26:18 +00:00 |
|
Alvaro Muñoz
|
0332c52e77
|
Update go/ql/lib/semmle/go/frameworks/SQL.qll
|
2023-06-28 15:20:02 +02:00 |
|
Alvaro Muñoz
|
0043acb8e8
|
Update go/ql/lib/semmle/go/frameworks/SQL.qll
|
2023-06-28 15:19:31 +02:00 |
|
Alvaro Muñoz
|
fe4ddab7e4
|
Add support for the gqlgen library
|
2023-06-28 15:05:25 +02:00 |
|