Joe Farebrother
|
b9754df390
|
Add case for void-returning handler methods
|
2024-01-04 14:25:39 +00:00 |
|
Joe Farebrother
|
00892e127f
|
Add unit test + fix flow step
|
2024-01-04 14:25:38 +00:00 |
|
Joe Farebrother
|
c3cd40fc69
|
Add flow steps from page models
|
2024-01-04 14:25:38 +00:00 |
|
Owen Mansel-Chan
|
6f9242b1cb
|
Merge pull request #15162 from owen-mc/go/stratify-cfg-succ
Go: Stratify `CFG::succ` to avoid recursion
|
2024-01-04 14:11:25 +00:00 |
|
Ben Rodes
|
8d84540a54
|
Update cpp/ql/lib/semmle/code/cpp/commons/StringConcatenation.qll
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2024-01-04 09:09:20 -05:00 |
|
Ian Wright
|
dab28edfa9
|
0.0.11 release of automodel extraction queries
|
2024-01-04 13:10:46 +00:00 |
|
Michael Nebel
|
e44b2d26ce
|
Java/C#: Make it possible to specify subfolder location of generated model files.
|
2024-01-04 14:05:13 +01:00 |
|
Michael Nebel
|
682aef9548
|
Merge pull request #15212 from michaelnebel/csharp/stringreplace
C#: Fix Log forging false positive.
|
2024-01-04 13:38:29 +01:00 |
|
Geoffrey White
|
fb77e3733b
|
Swift: Add a test of SwiftUI secure fields as a sensitive data source.
|
2024-01-04 12:34:33 +00:00 |
|
Chris Smowton
|
c90171c73f
|
Add test for Java buildless vs Maven multimodule projects
|
2024-01-04 12:30:13 +00:00 |
|
Michael Nebel
|
4961e659b4
|
C#: Update DB stats.
|
2024-01-04 13:07:49 +01:00 |
|
Ian Wright
|
7c6d30b1a2
|
Merge pull request #15165 from github/z80coder/automodel-release
ensure `publish.sh` uses the latest `automodel` release
|
2024-01-04 11:58:59 +00:00 |
|
Owen Mansel-Chan
|
ce3097e9ce
|
Fix manual models for String.valueOf(Object)
Add a neutral model for it, but also a summary model for `String.valueOf(CharSequence)`
|
2024-01-04 11:31:20 +00:00 |
|
Owen Mansel-Chan
|
0076f06ce7
|
Improve manual models of java.lang.Exception
|
2024-01-04 11:31:18 +00:00 |
|
Owen Mansel-Chan
|
e415c54c5e
|
Reorder manual models of java.lang.Throwable
|
2024-01-04 11:31:16 +00:00 |
|
Owen Mansel-Chan
|
f52ea5c2fd
|
Improve manual models of java.lang.Throwable
|
2024-01-04 11:31:14 +00:00 |
|
Ian Wright
|
468454645e
|
better
|
2024-01-04 11:15:05 +00:00 |
|
Ian Wright
|
4530510450
|
check if provided argument is valid
|
2024-01-04 11:02:58 +00:00 |
|
Ian Wright
|
545b5e7e83
|
better comment
|
2024-01-04 11:02:58 +00:00 |
|
Ian Wright
|
fb44b9c7dd
|
better comment
|
2024-01-04 11:02:57 +00:00 |
|
Ian Wright
|
e4a798e9cc
|
better comment
|
2024-01-04 11:02:57 +00:00 |
|
Ian Wright
|
af940f5e41
|
don't specify defaults
|
2024-01-04 11:02:57 +00:00 |
|
Ian Wright
|
45b1790fa2
|
add publication warning
|
2024-01-04 11:02:57 +00:00 |
|
Ian Wright
|
337512174f
|
wip
wip
wip
more checks
fix bug if release folder already exists
fix bug if release folder already exists
ensure branch has correct release; dry-run
simplify branches
step by step
fix paths
pushd/popd
pushd/popd
use bash
simplify
simplify
simplify
simplify
add dry run
|
2024-01-04 11:02:57 +00:00 |
|
Ian Wright
|
6572be668c
|
get release version
|
2024-01-04 11:02:57 +00:00 |
|
erik-krogh
|
58dc14d5bb
|
update expected output
|
2024-01-04 11:38:58 +01:00 |
|
erik-krogh
|
a9f2b3fad6
|
promote PropsTaintStep to a PreCallGraphStep
|
2024-01-04 10:45:22 +01:00 |
|
Geoffrey White
|
31af8b9024
|
Swift: Test SwiftUI flow sources.
|
2024-01-04 09:28:10 +00:00 |
|
Michael Nebel
|
5778720194
|
Merge pull request #15220 from github/workflow/coverage/update
Update CSV framework coverage reports
|
2024-01-04 09:39:58 +01:00 |
|
Owen Mansel-Chan
|
e2e91ebe1c
|
Fix capitalization in predicate name
This was introduced by a copy-paste error
|
2024-01-04 07:08:37 +00:00 |
|
Owen Mansel-Chan
|
dfd25f705d
|
Add pragma[nomagic] to top-level succ0 and remove cached
|
2024-01-04 07:06:55 +00:00 |
|
github-actions[bot]
|
63a1e8fcf7
|
Add changed framework coverage reports
|
2024-01-04 00:16:48 +00:00 |
|
Robert Marsh
|
41ac0fca85
|
Swift: use toString and Location from shared CFG library
|
2024-01-03 21:11:15 +00:00 |
|
Owen Mansel-Chan
|
90f07d2116
|
Add pragma[nomagic] to member 'succ0'
|
2024-01-03 16:54:58 +00:00 |
|
Owen Mansel-Chan
|
697aa609f4
|
Merge pull request #15211 from owen-mc/go/redefine-successfully-extracted-files
Go: report any extracted file as successfully extracted
|
2024-01-03 16:07:09 +00:00 |
|
Owen Mansel-Chan
|
14cffc3170
|
Merge pull request #15128 from owen-mc/go/fix-fp-incorrect-integer-conversion-signedness
Go: fix FP in incorrect integer conversion query relating to strict comparisons with MaxInt and MaxUint
|
2024-01-03 14:57:34 +00:00 |
|
Owen Mansel-Chan
|
bb44141390
|
Add QLDoc for succ0
|
2024-01-03 14:55:56 +00:00 |
|
Owen Mansel-Chan
|
032574f3d1
|
Make succ0 private
|
2024-01-03 14:55:42 +00:00 |
|
Owen Mansel-Chan
|
6ecf6ea3ac
|
Rename succSimple to succ0
|
2024-01-03 14:51:57 +00:00 |
|
Jeroen Ketema
|
466536a914
|
Merge pull request #15214 from jketema/improve-test
C++: Improve special members test by printing more function details
|
2024-01-03 15:18:23 +01:00 |
|
Chris Smowton
|
723d3ee34c
|
Merge pull request #15190 from fossilet/fix-class
Add missing `override`.
|
2024-01-03 13:47:24 +00:00 |
|
Ian Lynagh
|
7b48e2e4ae
|
Merge pull request #15049 from igfoo/igfoo/UnderscoreIdentifier
Kotlin 2: Accept changes in query-tests/UnderscoreIdentifier
|
2024-01-03 13:43:24 +00:00 |
|
Owen Mansel-Chan
|
0279e4903f
|
Mention query in change note
|
2024-01-03 13:02:49 +00:00 |
|
Harry Maclean
|
c96be39474
|
Merge pull request #15048 from hmac/hmac-model-editor-ruby-modules
Ruby: Model editor improvements
|
2024-01-03 12:53:43 +00:00 |
|
Jeroen Ketema
|
ae135ac633
|
C++: Improve special members test by printing more function details
Without this it is very hard to see what specifically is defaulted/deleted.
|
2024-01-03 13:35:25 +01:00 |
|
Michael Nebel
|
b083c35b40
|
Merge pull request #15174 from michaelnebel/csharp/dotnet8runtimemodels
C#: .NET 8 Runtime models.
|
2024-01-03 11:30:59 +01:00 |
|
Michael Nebel
|
0c78cccf62
|
C#: Add change note.
|
2024-01-03 11:12:35 +01:00 |
|
Michael Nebel
|
9763c00f99
|
C#: Update expected test output.
|
2024-01-03 11:09:35 +01:00 |
|
Michael Nebel
|
31e12f7a06
|
C#: Recognize all overloads of String.Replace as a replace method.
|
2024-01-03 11:08:05 +01:00 |
|
Jeroen Ketema
|
a205a03f3c
|
Merge pull request #15210 from jketema/function-types
C++: Support more function types
|
2024-01-03 11:02:58 +01:00 |
|