Michael Nebel
d8889f2d1f
C#: Make a dummy project as a part of running the conversion script.
2022-11-08 17:02:57 +01:00
Nick Rolfe
865d0ca64a
Ruby: add changenote for ActiveSupport Hash extension summaries
2022-11-08 15:52:21 +00:00
Nick Rolfe
04575674db
Ruby: generalise summaries for ActiveSupport Hash extensions
2022-11-08 15:48:20 +00:00
Michael Nebel
0b04505e04
C#: Update all data extensions files.
2022-11-08 16:47:02 +01:00
Michael Nebel
d3a458ef1a
C#: Remove blank lines in generated converted models.
2022-11-08 16:46:38 +01:00
Asger F
271de66f01
Ruby: rename getConst -> getConstant
2022-11-08 16:41:04 +01:00
Andrew Eisenberg
e674759860
Add documentation about the codeQL.queryHistory.ttl setting
...
Update docs/codeql/codeql-for-visual-studio-code/customizing-settings.rst
Co-authored-by: Felicity Chapman <felicitymay@github.com >
2022-11-08 07:22:20 -08:00
Mauro Baluda
8e546e8496
Add req.url.origin to RequestInputAccess
2022-11-08 16:14:10 +01:00
Asger F
a60f510c85
Ruby: handle knownOrUnkown in default taint step
2022-11-08 16:11:55 +01:00
AlexDenisov
6fb021a5bc
Merge pull request #11164 from github/redsun82/swift-print-unextracted
...
Swift: print unextracted entities
2022-11-08 16:07:44 +01:00
Michael Nebel
f1b5ed1cba
C#: Remove [source|sink|summary|negativeSummary]Model/1 predicates.
2022-11-08 16:01:43 +01:00
Jeroen Ketema
2bef82babc
Merge pull request #11163 from jketema/missing-return
...
C++: Add dataflow test that deliberately omits the return of a non-void function
2022-11-08 16:00:36 +01:00
Geoffrey White
c8426776fc
Merge branch 'main' into wrong-number-msg
2022-11-08 14:47:19 +00:00
Tony Torralba
eef4fc3a0a
Apply suggestions from code review
...
Co-authored-by: mc <42146119+mchammer01@users.noreply.github.com >
2022-11-08 15:44:26 +01:00
Paolo Tranquilli
d325a42890
Swift: print unextracted entities
2022-11-08 15:38:53 +01:00
Alex Denisov
3f2f328d87
Swift: put invocation files into a separate folder
2022-11-08 15:32:51 +01:00
Jeroen Ketema
d93bda21c2
Merge pull request #11159 from jketema/strcat-return-deref-taint
...
C++: Also taint the return value dereference in the `strcat` model
2022-11-08 15:27:07 +01:00
Alex Denisov
096469c6fe
Swift: use timestamp + getpid for the invocation filename
2022-11-08 15:26:35 +01:00
Jeroen Ketema
fa2d58adff
C++: Add dataflow test that deliberately omits the return of a non-void function
2022-11-08 15:12:34 +01:00
Alex Denisov
42004d93f0
Swift: cleanup diagnostic message construction
2022-11-08 15:07:01 +01:00
erik-krogh
22d7f3cfe5
try only to fill the cache from main
2022-11-08 15:06:00 +01:00
Alex Denisov
d9b3104c78
Swift: remove unneeded include
2022-11-08 15:03:43 +01:00
Alex Denisov
4f05f083a5
Swift: split SwiftLocationExtractor into h/cpp
2022-11-08 15:02:22 +01:00
Alex Denisov
609c7cf84d
Swift: Rename diagnostics consumer
2022-11-08 14:56:50 +01:00
Geoffrey White
25b4296045
Swift: Rename predicate to avoid confusion.
2022-11-08 13:52:33 +00:00
Alex Denisov
2b8b6d3dc3
Swift: ignore diagnostics for PrintAst
2022-11-08 14:45:56 +01:00
Alex Denisov
e9c4cb227f
Swift: add more diagnostics tests
2022-11-08 14:41:10 +01:00
Alex Denisov
680b7a16fb
Swift: extract location extraction into a separate entity
2022-11-08 14:41:10 +01:00
Alex Denisov
e9da5eecf2
Swift: update test expectations
2022-11-08 14:41:06 +01:00
Geoffrey White
24c8f1d8b5
Swift: Add some local (and remote) flow sources for String.
2022-11-08 13:38:25 +00:00
Alex Denisov
b62a4aae1a
Swift: include null terminators into the invocation file hash
2022-11-08 14:36:28 +01:00
Alex Denisov
433f4e0cb5
Swift: use DbFile/DbLocation
2022-11-08 14:36:28 +01:00
Alex Denisov
288bdc2ee9
Swift: add diagnostics test case
2022-11-08 14:36:28 +01:00
Alex Denisov
b39cf7ea11
Swift: diagnostics: fix bazel build
2022-11-08 14:36:28 +01:00
Alex Denisov
1574e855eb
Swift: consume and store compiler frontend diagnostics
2022-11-08 14:36:28 +01:00
Alex Denisov
62c26f8f27
Swift: add diagnostics to dbscheme
2022-11-08 14:36:25 +01:00
Erik Krogh Kristensen
e01cbb2ffa
Merge pull request #10378 from erik-krogh/aliasFlow
...
JS: expand localFieldStep to use access-paths, and build access-paths in more cases
2022-11-08 14:26:12 +01:00
Geoffrey White
e669754d0b
Swift: Also add local flow sources to summary queries.
2022-11-08 13:05:41 +00:00
Geoffrey White
be05b807cd
Swift: Add models-as-data local flow sources as well.
2022-11-08 13:05:41 +00:00
Geoffrey White
0dcb5546a1
Swift: Add a LocalFlowSource and FlowSource class.
2022-11-08 13:05:41 +00:00
Geoffrey White
c5285acb04
Swift: Add more tests for String flow sources.
2022-11-08 13:05:40 +00:00
Paolo Tranquilli
552c5249ac
Merge pull request #11131 from github/redsun82/swift-incomplete-ast
...
Swift: deal with incomplete ASTs
2022-11-08 14:01:58 +01:00
Tom Hvitved
f0554fcdee
Merge pull request #11155 from hvitved/ruby/avoid-stage-recomputation
...
Ruby: Avoid stage recomputation
2022-11-08 13:46:53 +01:00
Tom Hvitved
edde3defed
Merge pull request #11153 from hvitved/ruby/basic-block-at-conditions
...
Ruby: Split basic blocks around constant conditionals
2022-11-08 13:35:52 +01:00
Rasmus Wriedt Larsen
4895daba85
DataFlow: Add read/store stepIsLocal consistency checks
2022-11-08 13:32:49 +01:00
Asger F
69f5879384
JS: Update TRAP test output
2022-11-08 13:02:26 +01:00
Tony Torralba
d813590780
Merge pull request #11156 from atorralba/atorralba/swift/bitwise-operation
...
Swift: Add `BitwiseOperation.qll`
2022-11-08 12:15:00 +01:00
Jeroen Ketema
c61a9c5911
C++: Also taint the return value dereference in the strcat model
2022-11-08 12:08:44 +01:00
Asger F
44e94f6615
JS: Change note
2022-11-08 11:51:26 +01:00
Paolo Tranquilli
9731048836
Swift: remove an assert from swift headers
...
An interesting byproduct was finding a problematic `assert` in the
Swift headers. An incomplete `FallthroughStmt` was asserting on having
a destination. I did not find any other sensible way of getting rid of
the crash when running in debug mode than to patch the header.
2022-11-08 11:47:12 +01:00
