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 |
|
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 |
|
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 |
|
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 |
|
Jonas Jensen
|
18cc539c8d
|
Merge branch 'master' into pointer-wraparound-query
|
2019-11-12 10:22:46 +01: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 |
|
Dave Bartolomeo
|
303bab61b5
|
Merge pull request #2289 from jbj/ConvertToNonVirtualBaseInstruction
C++ IR: clearly distinguish between virtual and non-virtual base conversions
|
2019-11-11 13:37:07 -07:00 |
|
Jonas Jensen
|
ec79bfacf8
|
Merge pull request #2249 from geoffw0/tlsperf
CPP: TlsSettingsMisconfiguration.ql performance and cleanup
|
2019-11-11 16:47:53 +01:00 |
|
Geoffrey White
|
a4250be72f
|
CPP: Un-deprecate getNumArgNeeded(n). Turns out I missed a place where it's used.
|
2019-11-11 15:28:09 +00:00 |
|
Geoffrey White
|
ed87f25886
|
CPP: Performance improvement.
|
2019-11-11 15:28:09 +00:00 |
|
Geoffrey White
|
a9fbe221ba
|
CPP: Try to make the predicate names and qldoc a bit more consistent.
|
2019-11-11 15:27:23 +00:00 |
|
Geoffrey White
|
dff21e02db
|
CPP: Fully support positional arguments.
|
2019-11-11 15:27:23 +00:00 |
|
Geoffrey White
|
2430bf4c83
|
CPP: Deprecate helper version of getNumArgNeeded.
|
2019-11-11 15:27:23 +00:00 |
|
Geoffrey White
|
27478640f2
|
CPP: Bring the logic for argument indices together in getFormatArgumentIndexFor.
|
2019-11-11 15:27:22 +00:00 |
|
Geoffrey White
|
760884051c
|
CPP: Add test cases using various combinations of width and precision specifiers, positional arguments, and flags.
|
2019-11-11 15:27:22 +00:00 |
|
Jonas Jensen
|
f2a9876c2a
|
Merge pull request #2003 from geoffw0/formatarg
CPP: WrongTypeFormatArguments.ql Fix
|
2019-11-11 16:07:37 +01:00 |
|
Jonas Jensen
|
d9bdb2cd4e
|
Merge pull request #2274 from geoffw0/oddsends
CPP: Clean up new queries and libraries
|
2019-11-11 16:05:20 +01:00 |
|
Jonas Jensen
|
eb55d964a8
|
C++: Fix semantic merge conflict
This test output must have been wrong because I produced it with an
extractor that didn't have #2153 applied.
|
2019-11-11 15:39:53 +01:00 |
|