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
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
Calum Grant
4d13957eed
C#: Modify db upgrade script
2019-11-12 13:40:58 +00:00
Calum Grant
657c839e2b
C#: Change varchar to string in the dbscheme.
2019-11-12 13:40:58 +00:00
Calum Grant
61630118fe
C#: Fix ql tests.
2019-11-12 13:40:58 +00:00
Calum Grant
58e14af9cd
C#: Address review comments. Create a TNullability type annotation and restructure TAnnotation.
2019-11-12 13:40:58 +00:00
Calum Grant
f00276a82c
C#: Remove non-essential changes
2019-11-12 13:40:58 +00:00
Calum Grant
a0fa7dad79
C#: Autoformat
2019-11-12 13:40:58 +00:00
Calum Grant
c8225adf1b
C#: Add missing file & minor fixes.
2019-11-12 13:40:58 +00:00
Calum Grant
e7f5fd6b4b
C#: DB upgrade script
2019-11-12 13:40:58 +00:00
Calum Grant
163b931d49
C#: Update db stats
2019-11-12 13:40:58 +00:00
Calum Grant
9fd4a9ceb6
C#: Implement NullabilityEntity to model structured nullability on the side
2019-11-12 13:40:57 +00:00
Calum Grant
61ab9431ab
C#: Fix DB inconsistencies, and rework id generation.
2019-11-12 13:40:57 +00:00
Tom Hvitved
05684b350f
C#: Add change note
2019-11-12 12:13:19 +01:00
Tom Hvitved
28141c9d4d
C#: Teach unification library about tuple types
2019-11-12 12:09:58 +01:00
Tom Hvitved
ee2496ab7c
C#: Add unification tests for tuple types
2019-11-12 12:08:03 +01:00
semmle-qlci
39a45ceefe
Merge pull request #2297 from erik-krogh/returnlessAttr
...
Approved by max-schaefer
2019-11-12 10:26:12 +00:00
Geoffrey White
d198b56b3a
CPP: Move VirtualDispatch.qll into the controlflow directory (I don't see the point in having a subdirectory for one file, when we don't anticipate any other files ever being added there).
2019-11-12 09:55:23 +00:00
Geoffrey White
60c7cb38e8
CPP: Relocate the test as well.
2019-11-12 09:55:22 +00:00
