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
|
f2caf196b7
|
Update go/ql/test/library-tests/semmle/go/frameworks/GoMicro/gomicro.expected
Co-authored-by: Owen Mansel-Chan <62447351+owen-mc@users.noreply.github.com>
|
2023-07-12 13:09:02 +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 |
|
Alvaro Muñoz
|
b380853d1a
|
remove already modeled stubs
|
2023-07-10 09:58:35 +02: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
|
972aacc5da
|
Accept test changes due to new paramater nodes
|
2023-07-05 22:25:47 +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 |
|
Maiky
|
08c54767f2
|
Correct Ldap Unauth Bind Sink
|
2023-07-05 17:56:49 +02: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
|
e73d6d5ee4
|
Go: Update expected test output to reflect the new printing of summary component stacks.
|
2023-07-03 14:36:06 +02:00 |
|
Michael Nebel
|
c18f4b1604
|
Sync files and make language specific rename.
|
2023-07-03 14:36:06 +02:00 |
|
Porcupiney Hairs
|
dc0deb5e49
|
Go : Improvements to DSN Injection query
|
2023-07-02 17:38:01 +05:30 |
|
Alvaro Muñoz
|
5788292eb7
|
use depstubber
|
2023-06-30 23:13:30 +02:00 |
|
Alvaro Muñoz
|
db33d7f2cf
|
remove vendor/
|
2023-06-30 22:38:29 +02:00 |
|
Chuan-kai Lin
|
ce464a7d69
|
Remove pragma[assume_small_delta]
|
2023-06-30 11:09:29 -07:00 |
|
Mathew Payne
|
67160f4663
|
fix: update stubs and fix import issues
|
2023-06-30 15:14:56 +01:00 |
|
Mathew Payne
|
2007e81089
|
fix: update stubs
|
2023-06-30 14:50:09 +01:00 |
|
Mathew Payne
|
0b696c962e
|
feat: add stubs for Protobuf and go-micro.api
|
2023-06-30 14:23:42 +01:00 |
|
Mathew Payne
|
75a8ccac8d
|
feat: update go:generate and expected files
|
2023-06-30 13:30:31 +01:00 |
|
Mathew Payne
|
1084e300b1
|
fix: update vendor and use depstubber
|
2023-06-30 13:29:48 +01:00 |
|
Mathew Payne
|
ce2ee8d38e
|
Merge branch 'github:main' into go-micro
|
2023-06-30 12:50:13 +01:00 |
|
Mathew Payne
|
7331bcb022
|
feat: update tests to support client service
|
2023-06-30 12:47:47 +01:00 |
|
Mathew Payne
|
48966d65dd
|
feat: client service support
|
2023-06-30 12:44:09 +01:00 |
|
Mathew Payne
|
62bad6c02f
|
feat: add log injection query to testing GoMicro
|
2023-06-30 12:26:16 +01:00 |
|