Geoffrey White
|
9a53706e87
|
CPP: Reword TlsSettingsMisconfiguration.qhelp.
|
2019-11-18 11:49:28 +00:00 |
|
Geoffrey White
|
2789c2dbac
|
CPP: Fix typos.
|
2019-11-18 11:48:13 +00:00 |
|
Tom Hvitved
|
9c9744620e
|
Merge pull request #2291 from calumgrant/cs/assembly-prefix
C#: Fix prefixing assembly IDs to type IDs
|
2019-11-13 13:25:15 +01:00 |
|
Calum Grant
|
3b775a9ecb
|
Merge pull request #2095 from hvitved/csharp/type-unification
C#: Type unification library
|
2019-11-13 09:48:59 +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 |
|
Max Schaefer
|
155cea7b5b
|
Revert "JavaScript: Improve double-escaping query"
|
2019-11-12 22:54:12 +00: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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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
|
695d4ff511
|
CPP: Change note.
|
2019-11-11 15:28:08 +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 |
|
Taus
|
e576395c90
|
Merge pull request #2241 from RasmusWL/python-always-legacy-conf
Python: Always enable legacy taint tracking configuration
|
2019-11-11 16:00:04 +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 |
|
Erik Krogh Kristensen
|
67b38ed301
|
correctly weed out benign calls inside attributes
|
2019-11-11 15:30:33 +01:00 |
|
James Fletcher
|
c33d28542e
|
Merge pull request #2294 from felicitymay/1.22-mergeback-master
1.22 mergeback master
|
2019-11-11 14:14:09 +00:00 |
|
Geoffrey White
|
e77fefaf9e
|
Merge pull request #2295 from jbj/self-comparison-templates
C++: Suppress PointlessSelfComparison.ql on templates
|
2019-11-11 14:12:55 +00:00 |
|