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
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
Geoffrey White
dff490e658
CPP: Remove the 'boostorg' subdirectory (these queries could be extended to support other libraries, as their names and descriptions already suggest).
2019-11-12 09:55:22 +00:00
Geoffrey White
784c3047da
CPP: Merge the duplicate IgnoreReturnValueSAL.ql query into the older existing one.
2019-11-12 09:54:56 +00:00
Geoffrey White
806703b929
CPP: Relocate the test as well.
2019-11-12 09:54:55 +00:00
Geoffrey White
2b9428df32
CPP: Remove the 'Buffer Overflow' subdirectory (we have many buffer overflow queries, putting one in a special directory will only create confusion).
2019-11-12 09:54:46 +00:00
Geoffrey White
b917264770
CPP: Rename NtohlArrayNoBoundOpenSource.ql -> NtohlArrayNoBound.ql (I believe the 'OpenSource' part is a remnant from the way the contributor organizes their queries).
2019-11-12 09:53:59 +00:00
Rasmus Wriedt Larsen
54246660c6
Python: Add test-case to password_in_cookie
2019-11-12 10:36:12 +01:00
Rasmus Wriedt Larsen
3ad43f32b6
Python: Add flask xss examples to flask tests
2019-11-12 10:36:10 +01:00
Jonas Jensen
18cc539c8d
Merge branch 'master' into pointer-wraparound-query
2019-11-12 10:22:46 +01:00
Anders Schack-Mulligen
e6d0a2eca5
Merge pull request #2215 from yh-semmle/java-remove-obsolete-queries
...
Java: remove some obsolete metric queries
2019-11-12 10:14:55 +01:00
Max Schaefer
06fe00006a
Conservatively handle indirect updates through pointer-type receiver.
...
Method references `x.m` where the receiver of `m` is a pointer implicitly take the address of `x`, so they should be treated much the same as `&x` in terms of data flow. (Ideally we'd make this explicit in the data-flow graph itself, but that's for another PR.)
2019-11-12 08:54:47 +00:00
Jonas Jensen
c36b73f09c
Merge pull request #2232 from geoffw0/formatsymbols
...
CPP: Fully support n$ in format strings
2019-11-12 09:43:20 +01:00
Erik Krogh Kristensen
6f6c4c4fcc
fix tests after change from tabs to spaces
2019-11-12 08:48:01 +01:00
