Philip Ginsbach
|
0634b9b9f7
|
rename example module and parameters
|
2022-08-29 10:55:07 +01:00 |
|
Anders Schack-Mulligen
|
adfd474fee
|
Java: Move file.
|
2022-08-29 11:50:54 +02:00 |
|
Philip Ginsbach
|
b74886a920
|
better explain the relevance of applicative instantiation
|
2022-08-29 10:49:09 +01:00 |
|
Philip Ginsbach
|
61b8cee84b
|
reference module expression documentation
|
2022-08-29 09:39:33 +01:00 |
|
Philip Ginsbach
|
c21ca8f312
|
better description of example code
|
2022-08-29 09:19:46 +01:00 |
|
Philip Ginsbach
|
5c69b42efa
|
better explanation of nominal typing
Co-authored-by: Felicity Chapman <felicitymay@github.com>
|
2022-08-29 09:15:39 +01:00 |
|
Asger F
|
99f03a0d61
|
JS: Make API graphs take types from models into account
|
2022-08-29 10:14:56 +02:00 |
|
Asger F
|
d166727db9
|
JS: Add WithStringArgument[arg=const] filter
|
2022-08-29 10:14:56 +02:00 |
|
Asger F
|
4f3c8ec770
|
JS: Add AnyMember MaD token
|
2022-08-29 10:14:53 +02:00 |
|
Asger F
|
9887025af2
|
JS: Some minor fixes in Classes.qll
|
2022-08-29 10:14:53 +02:00 |
|
Philip Ginsbach
|
89de63ad1d
|
better explanation of what type signatures are used for
Co-authored-by: Felicity Chapman <felicitymay@github.com>
|
2022-08-29 09:13:59 +01:00 |
|
Philip Ginsbach
|
7ea0f8d96b
|
better explanation of structural typing
Co-authored-by: Felicity Chapman <felicitymay@github.com>
|
2022-08-29 09:12:31 +01:00 |
|
Philip Ginsbach
|
c5110e5d68
|
better description for predicate signatures
Co-authored-by: Felicity Chapman <felicitymay@github.com>
|
2022-08-29 09:11:19 +01:00 |
|
Philip Ginsbach
|
cca5dfbbde
|
better description for type signatures
Co-authored-by: Felicity Chapman <felicitymay@github.com>
|
2022-08-29 09:10:23 +01:00 |
|
Philip Ginsbach
|
16973c9a80
|
better formulation for module parameters
Co-authored-by: Felicity Chapman <felicitymay@github.com>
|
2022-08-29 09:07:59 +01:00 |
|
Philip Ginsbach
|
7806308d5f
|
better formulation for module signatures
Co-authored-by: Felicity Chapman <felicitymay@github.com>
|
2022-08-29 09:07:19 +01:00 |
|
Philip Ginsbach
|
5957494583
|
better explanation of structural typing
Co-authored-by: Felicity Chapman <felicitymay@github.com>
|
2022-08-29 09:06:45 +01:00 |
|
Philip Ginsbach
|
c9ecb32318
|
better description of parameterized module instantiation
Co-authored-by: Felicity Chapman <felicitymay@github.com>
|
2022-08-29 09:05:26 +01:00 |
|
Philip Ginsbach
|
56f51ee1ff
|
use parameterized rather than parameterised
|
2022-08-29 09:02:37 +01:00 |
|
Erik Krogh Kristensen
|
68bf9f39b9
|
Merge pull request #10181 from erik-krogh/fixCons
QL: remove consistency errors related to resolving multiple predicates from parameterized modules
|
2022-08-29 09:40:07 +02:00 |
|
erik-krogh
|
dda16a0a30
|
add a isSignature() predicate to ClasslessPredicate
|
2022-08-29 09:17:40 +02:00 |
|
Harry Maclean
|
5d356df300
|
QLDoc fixes
|
2022-08-29 14:24:37 +12:00 |
|
Harry Maclean
|
9651fa1573
|
Ruby: Add ActiveResource change note
|
2022-08-29 14:24:37 +12:00 |
|
Harry Maclean
|
ec58107439
|
QlDoc fix
|
2022-08-29 14:24:37 +12:00 |
|
Harry Maclean
|
dcc0123023
|
Fix QL4QL alert
|
2022-08-29 14:24:37 +12:00 |
|
Harry Maclean
|
06c95ba457
|
Ruby: QLDoc
|
2022-08-29 14:24:37 +12:00 |
|
Harry Maclean
|
75e1497fbf
|
Ruby: Import ActiveResource by default
|
2022-08-29 14:24:37 +12:00 |
|
Harry Maclean
|
aa6edb0edb
|
Ruby: Model ActiveResource
|
2022-08-29 14:24:37 +12:00 |
|
Harry Maclean
|
09ad1c29bd
|
Ruby: Add SelfVariableAccessCfgNode
|
2022-08-29 14:24:37 +12:00 |
|
Andrew Eisenberg
|
68c2c16928
|
Address changes from PR
|
2022-08-26 14:35:59 -07:00 |
|
Ian Lynagh
|
4cd7bf2ebb
|
Kotlin: Small simplification
Also removes a cast
|
2022-08-26 16:28:10 +01:00 |
|
Ian Lynagh
|
d2a5281d94
|
Kotlin: Remove another cast
|
2022-08-26 15:59:26 +01:00 |
|
Nick Rolfe
|
898689f550
|
Merge pull request #9896 from github/nickrolfe/hardcoded_code
Ruby: port js/hardcoded-data-interpreted-as-code
|
2022-08-26 13:49:25 +01:00 |
|
Paolo Tranquilli
|
7887f669c1
|
Merge pull request #10175 from github/redsun82/swift-missing-extractions
Swift: fix missing extractions
|
2022-08-26 14:09:09 +02:00 |
|
Ian Lynagh
|
131632e7c1
|
Kotlin: Remove a cast from substituteTypeAndArguments
It looks like it was safe, but it was hard to see why, and may
become unsafe following future kotlinc changes.
|
2022-08-26 13:06:05 +01:00 |
|
Paolo Tranquilli
|
b5d18b05e2
|
Swift: accept new module type in tests
|
2022-08-26 13:52:24 +02:00 |
|
AlexDenisov
|
bb167a3d77
|
Merge pull request #10187 from github/redsun82/swift-port-frontend-invocations-test-to-linux
Swift: port frontend-invocations test to linux
|
2022-08-26 12:53:19 +02:00 |
|
Paolo Tranquilli
|
c9b14b4459
|
Swift: address review comments
|
2022-08-26 12:49:19 +02:00 |
|
Paolo Tranquilli
|
ced36ffc61
|
Swift: run swift instead of swift-frontend on Linux
|
2022-08-26 12:12:21 +02:00 |
|
Paolo Tranquilli
|
c7c42acbf5
|
Swift: port frontend-invocations test to linux
`swift-frontend` will be in `$PATH` on Linux, and apparently it does
not require the `-sdk` option.
|
2022-08-26 12:03:18 +02:00 |
|
Anders Schack-Mulligen
|
3e5155d1a1
|
Java: Address review comments.
|
2022-08-26 11:45:01 +02:00 |
|
Paolo Tranquilli
|
ebc7432f46
|
Swift: implement imported_ and exported_modules
This has expanded the required builtin symbols.
|
2022-08-26 11:37:14 +02:00 |
|
github-actions[bot]
|
3b4ad3c4f1
|
Post-release preparation for codeql-cli-2.10.4
|
2022-08-26 09:32:11 +00:00 |
|
Paolo Tranquilli
|
2e9d9cfb20
|
Swift: add imported modules properties to ModuleDecl
|
2022-08-26 11:23:02 +02:00 |
|
Paolo Tranquilli
|
a5a58d3dc5
|
Swift: start with loaded modules for extraction
|
2022-08-26 11:23:02 +02:00 |
|
Nick Rolfe
|
52d46552af
|
Ruby: fix 'inefficient string comparison' alert
|
2022-08-26 09:58:22 +01:00 |
|
Erik Krogh Kristensen
|
c02387a25a
|
Merge pull request #10153 from erik-krogh/more-acronyms
more renamings of acronyms to camelCase
|
2022-08-26 10:52:17 +02:00 |
|
Nick Rolfe
|
95bf18fdc9
|
Ruby: make hex-escaped strings ("\xCD\xEF" etc.) sources of hardcoded data
|
2022-08-26 09:33:03 +01:00 |
|
Paolo Tranquilli
|
0971ca6a82
|
Swift: emit <Builtin>.trap instead of .trap
|
2022-08-26 09:35:19 +02:00 |
|
Michael Nebel
|
f4835e3960
|
C#: Update flow summaries test cases based on the latest models.
|
2022-08-26 09:30:08 +02:00 |
|