Max Schaefer
899ae102b0
Merge pull request #182 from sauyon/fix-newline
...
autobuilder: Add a missing newline to the usage blurb
2019-11-13 09:19:22 +00:00
semmle-qlci
f34025c5a0
Merge pull request #2306 from Semmle/revert-2247-odasa-8149
...
Approved by asger-semmle
2019-11-13 09:04:22 +00:00
Jonas Jensen
8a9ee8fcdd
Merge pull request #2300 from geoffw0/names
...
CPP: Rename/relocate some queries and libraries
2019-11-13 09:11:24 +01:00
Sauyon Lee
3b39f5c2e1
OpenUrlRedirect: Use the regexp library for RegexpCheck
2019-11-12 15:14:05 -08:00
Sauyon Lee
2ba680ef4c
autobuilder: Add a missing newline to the usage blurb
2019-11-12 15:11:03 -08:00
Sauyon Lee
4e4d94da7b
Merge pull request #180 from max/receiver-deref-update
...
Conservatively handle indirect updates through pointer-type receiver.
2019-11-12 17:56:13 -05:00
Max Schaefer
155cea7b5b
Revert "JavaScript: Improve double-escaping query"
2019-11-12 22:54:12 +00:00
Sauyon Lee
50a008900c
HardcodedCredentials: Use SensitiveActions
2019-11-12 14:08:44 -08:00
Robert Marsh
3de590763e
C++: autoformat
2019-11-12 13:57:49 -08:00
yh-semmle
429c307832
Merge pull request #2304 from aschackmull/java/rangeanalysis-integral-fix
...
Java: Fix range analysis bug in integral inequality bounds.
2019-11-12 16:33:12 -05:00
yh-semmle
6a16eb838d
Merge pull request #2305 from aschackmull/java/overflowcheck-conditionalexpr
...
Java: Add ConditionalExpr to overflow candidate pattern.
2019-11-12 16:32:09 -05:00
Dave Bartolomeo
5b33255e44
Merge pull request #1585 from rdmarsh2/rdmarsh/cpp/hasGlobalOrStdName
...
C++: add Declaration.hasGlobalOrStdName()
2019-11-12 12:00:17 -07:00
Robert Marsh
47f87c214c
Merge branch 'master' into rdmarsh/cpp/ir-constructor-side-effects
2019-11-12 10:31:04 -08:00
Geoffrey White
db26b85fa3
CPP: Fix test (I missed a file in the move).
2019-11-12 18:25:20 +00:00
Robert Marsh
9554513cd6
autoformat
2019-11-12 10:16:01 -08:00
Ziemowit Laski
5cc92b7502
[CPP-418] Mention that GNU vector initializers are syntactically
...
similar to array initializers.
2019-11-12 17:35:50 +00:00
Ziemowit Laski
d0069fcacd
[CPP-418] Literals.
2019-11-12 17:35:50 +00:00
Ziemowit Laski
20e28b8a97
[CPP-418] Reformat.
2019-11-12 17:35:50 +00:00
Ziemowit Laski
2baa748390
Address further review comments.
2019-11-12 17:35:50 +00:00
Ziemowit Laski
faf4342d8e
[CPP-418] Update references to BuiltInOperationBuiltInOffsetOf and __builtin_offsetof.
2019-11-12 17:35:50 +00:00
Ziemowit Laski
6eac51dba4
[CPP-418] Address review comments.
2019-11-12 17:35:49 +00:00
Ziemowit Laski
e2d5a82735
[CPP-418] Expressions.
2019-11-12 17:35:49 +00:00
Ziemowit Laski
1f337e943f
[CPP-418] Typo.
2019-11-12 17:33:08 +00:00
Ziemowit Laski
98eca4743a
[CPP-418] Calls, casts, assignments and other goodness.
2019-11-12 17:33:08 +00:00
Ziemowit Laski
e647dc341a
[CPP-418] Fill in examples for ErroneousType, UnknownType, and
...
assorted complex/imaginary arithmetic operations.
2019-11-12 17:33:08 +00:00
Ziemowit Laski
09f538a4bf
[CPP-418] Merge detritus.
2019-11-12 17:33:08 +00:00
Ziemowit Laski
f255977027
[CPP-418] Some more complex numbers, vectors.
2019-11-12 17:33:08 +00:00
Ziemowit Laski
89655612b0
[CPP-418] Tweak vector initializer syntax.
2019-11-12 17:33:08 +00:00
Ziemowit Laski
ecb700c8f4
[CPP-418] Some assignments and call expressions. Some could not be divined.
2019-11-12 17:33:08 +00:00
Ziemowit Laski
113481d096
[CPP-418] Add concrete syntax for arithmetic operation, EXCEPT for assorted complex number operations, where surface syntax could not be determined.
2019-11-12 17:33:08 +00:00
Ziemowit Laski
e328e781b5
[CPP-418] Address @geoffw0's review comments.
2019-11-12 17:33:07 +00:00
Ziemowit Laski
3fdf84ddb4
[CPP-418] Logical and comparison operators; reformat built-ins.
2019-11-12 17:33:07 +00:00
Ziemowit Laski
b0a93481cb
[CPP-418] Add QLDoc entries for typedef types, user types, bitwise operations and built-in operations.
2019-11-12 17:33:07 +00:00
semmle-qlci
6c9f92666e
Merge pull request #2285 from asger-semmle/dataflow-syntax-examples
...
Approved by max-schaefer
2019-11-12 16:50:29 +00:00
Ziemowit Laski
1f35f4bb52
[CPP-418] Add descriptions for QL classes in Type.qll. (Still need to figure out how to describe unknown and erroneous types.)
2019-11-12 16:47:29 +00:00
Ziemowit Laski
f54e0d0d07
[CPP-418] Initial modifications to Type.qll. To be continued.
2019-11-12 16:47:29 +00:00
Anders Schack-Mulligen
7619275c8b
Java: Fix range analysis bug in integral inequality bounds.
2019-11-12 17:28:40 +01:00
Anders Schack-Mulligen
8cd6b51763
Java: Add ConditionalExpr to overflow candidate pattern.
2019-11-12 17:27:18 +01:00
Max Schaefer
5726ec179c
Merge pull request #9 from github/autobuilder-add-print
...
autobuilder: Add line printing the environment and build versions of Go
2019-11-12 16:24:19 +00:00
Geoffrey White
ea9e3bb1a8
CPP: Rename VirtualDispatch again.
2019-11-12 16:17:03 +00:00
Max Schaefer
5b2e32b051
Add qlpack.yml files for test folders.
2019-11-12 15:03:02 +00:00
Geoffrey White
5c87ed5ab2
CPP: Remove unused code.
2019-11-12 14:45:43 +00:00
Geoffrey White
0343bd6b9c
CPP: Inline BufferAccess into NtohlArrayNoBound.qll (we'd prefer other queries to be written with the models library or Security.BufferAccess).
2019-11-12 14:44:20 +00:00
Geoffrey White
f50dd84c49
CPP: Rename good and bad example files.
2019-11-12 14:09:54 +00:00
Calum Grant
e990bea248
C#: Update upgrade script
2019-11-12 13:40:58 +00:00
Calum Grant
7c21ebb526
C#: Change dbscheme from nullability_member to nullability_parent
2019-11-12 13:40:58 +00:00
Calum Grant
41b441614b
C#: Address review comments part 1.
2019-11-12 13:40:58 +00:00
Calum Grant
fe83bac0fb
C#: Fix up test output
...
C#: Fix a qltest whereby a tuple type having multiple underlying types was causing an issue with the IR sanity checks.
C#: Revert more changes.
C#: Fix tests and remove dead code.
2019-11-12 13:40:58 +00:00
Calum Grant
a261cbaeef
C#: Fix type ID generation from merge
2019-11-12 13:40:58 +00:00
Calum Grant
ce188c0c22
C#: Autoformat
2019-11-12 13:40:58 +00:00
