Geoffrey White
|
35a5bca98a
|
Merge pull request #376 from ian-semmle/functionName
C++: Simplify a test's query
|
2018-10-26 17:24:11 +01:00 |
|
Ian Lynagh
|
09959cbbfc
|
C++: Simplify a test's query
This test predated Function.getFullSignature()
|
2018-10-26 15:08:18 +01:00 |
|
Esben Sparre Andreasen
|
8f635e6493
|
JS: truncate js/unknown-directive message content
|
2018-10-26 15:21:16 +02:00 |
|
Esben Sparre Andreasen
|
244d8d5778
|
JS: introduce truncate utility
|
2018-10-26 15:20:58 +02:00 |
|
Esben Sparre Andreasen
|
2565b35c3d
|
JS: Fix indentation
|
2018-10-26 15:19:43 +02:00 |
|
Asger F
|
47f59b4fd8
|
JS: fix typo
|
2018-10-26 14:08:44 +01:00 |
|
Geoffrey White
|
2f517deb77
|
CPP: BinaryArithmeticOperation -> AddExpr.
|
2018-10-26 13:40:56 +01:00 |
|
calum
|
68194b4474
|
C#: Fix typo again.
|
2018-10-26 13:10:16 +01:00 |
|
Asger F
|
3bd91bdf08
|
JS: introduce common class for Babel plugins
|
2018-10-26 12:55:37 +01:00 |
|
Jonas Jensen
|
a3505e008b
|
C++: Fix range analysis rounding for negative zero
|
2018-10-26 13:40:17 +02:00 |
|
Asger F
|
7285562c72
|
JS: add change note
|
2018-10-26 12:09:10 +01:00 |
|
Asger F
|
91943ae2cb
|
JS: support transform-react-jsx plugin
|
2018-10-26 12:06:56 +01:00 |
|
Asger F
|
d7eb4ef40e
|
JS: test case for transform-react-jsx plugin
|
2018-10-26 12:06:18 +01:00 |
|
Jonas Jensen
|
cbe16e56d7
|
C++: Pull rounding functions out to new predicates
|
2018-10-26 12:47:25 +02:00 |
|
Ian Lynagh
|
01d27d331e
|
C++: Accept test changes
|
2018-10-26 11:07:18 +01:00 |
|
Jonas Jensen
|
006594fefe
|
C++: Round towards +/- Inf in range analysis
Original author: Kevin Backhouse
|
2018-10-26 11:53:51 +02:00 |
|
calumgrant
|
ec2bf914c8
|
Merge pull request #339 from hvitved/csharp/cfg/assertions
C#: Detect constantly failing assertions in the CFG
|
2018-10-26 10:32:23 +01:00 |
|
Anders Schack-Mulligen
|
3d81328c41
|
Java: Improve array length bounds on array phi nodes that may be null.
|
2018-10-26 11:18:31 +02:00 |
|
Anders Schack-Mulligen
|
4227cdb423
|
Java: Tweak query description.
|
2018-10-26 10:50:06 +02:00 |
|
Geoffrey White
|
fa55e31f7a
|
Merge pull request #362 from jbj/return-this-noreturn
C++: Fix "Overloaded assignment does not return 'this'" for non-returning functions
|
2018-10-26 09:30:36 +01:00 |
|
Geoffrey White
|
91dad02b7e
|
Merge pull request #370 from ian-semmle/update_comment
C++: Update a comment
|
2018-10-26 08:55:12 +01:00 |
|
Max Schaefer
|
a08233e13d
|
Merge pull request #366 from adityasharad/merge/master-next-251018
Merge master into next.
|
2018-10-26 08:13:33 +01:00 |
|
semmle-qlci
|
cbc2d9e257
|
Merge pull request #361 from aschackmull/java/springweb-servlet-sources
Approved by yh-semmle
|
2018-10-26 02:06:11 +01:00 |
|
semmle-qlci
|
905911014d
|
Merge pull request #358 from aschackmull/java/sql-sinks
Approved by yh-semmle
|
2018-10-26 01:42:37 +01:00 |
|
Ian Lynagh
|
d6afbd8bb0
|
C++: Update a comment
|
2018-10-25 21:18:37 +01:00 |
|
Max Schaefer
|
b880a60095
|
Merge pull request #363 from xiemaisi/js/destructuring-assignment-cfg
JavaScript: Improve handling of destructuring assignments.
|
2018-10-25 20:28:53 +01:00 |
|
Geoffrey White
|
c9ed0396c5
|
CPP: Support builtin offsetof.
|
2018-10-25 16:41:37 +01:00 |
|
Aditya Sharad
|
56ee5ff99a
|
Merge master into next.
`master` up to and including cfe0b8803a.
|
2018-10-25 15:32:47 +01:00 |
|
Max Schaefer
|
38534a6e2f
|
JavaScript: Address review comment.
|
2018-10-25 15:31:46 +01:00 |
|
Max Schaefer
|
34b33ca04c
|
JavaScript: Recognise rest patterns as lvalues.
|
2018-10-25 15:31:46 +01:00 |
|
Max Schaefer
|
394d7b7a9b
|
JavaScript: Update expected output of CFG test.
|
2018-10-25 15:31:46 +01:00 |
|
Max Schaefer
|
8402ee8374
|
JavaScript: Refactor getDefReachingEndOf to improve performance.
|
2018-10-25 15:31:46 +01:00 |
|
Max Schaefer
|
09ef1a719a
|
JavaScript: Pull out auxiliary predicates to improve join order in liveAfterDef.
|
2018-10-25 15:31:46 +01:00 |
|
Max Schaefer
|
59bbd025a5
|
JavaScript: Pull out auxiliary predicate to improve join order in TPhi.
|
2018-10-25 15:31:46 +01:00 |
|
Max Schaefer
|
d2993b9e04
|
JavaScript: Model data flow of destructuring assignments more precisely.
|
2018-10-25 15:31:46 +01:00 |
|
Jonas Jensen
|
354f8bd0ff
|
C++: Test of range analysis 64-bit rounding issue
|
2018-10-25 16:18:22 +02:00 |
|
Geoffrey White
|
4c6cc3abdb
|
CPP: Change note.
|
2018-10-25 15:01:00 +01:00 |
|
Geoffrey White
|
2dcec4dce3
|
CPP: Don't require alloc in memberMayBeVarSize.
|
2018-10-25 15:01:00 +01:00 |
|
Geoffrey White
|
035823cff0
|
CPP: Fix array size bug in memberMayBeVarSize.
|
2018-10-25 15:01:00 +01:00 |
|
Ian Lynagh
|
eef8719a40
|
C++: Fix AV Rule 85
We have to be careful to avoid giving alerts to functions that might be
correctly defined, but we can't see the definition as it wasn't
instantiated.
|
2018-10-25 14:26:31 +01:00 |
|
calum
|
fde3341455
|
C#: Addressed documentation review.
|
2018-10-25 14:18:30 +01:00 |
|
calum
|
448b080d4f
|
C#: Fix typos.
|
2018-10-25 13:45:46 +01:00 |
|
Anders Schack-Mulligen
|
26bcf4bf5f
|
Java: Add change note.
|
2018-10-25 14:34:14 +02:00 |
|
Anders Schack-Mulligen
|
42e659c645
|
Java: Minor fixups.
|
2018-10-25 14:30:40 +02:00 |
|
Pavel Avgustinov
|
c577f6d9f8
|
Merge pull request #365 from aschackmull/java/response-splitting-whitelist-cookiename
Java: Whitelist Cookie::getName for HTTP response splitting.
|
2018-10-25 13:18:03 +01:00 |
|
Tom Hvitved
|
a3d74b00e0
|
C#: Address review comments
|
2018-10-25 14:15:09 +02:00 |
|
Anders Schack-Mulligen
|
8a27c09447
|
Java: Add .expected file.
|
2018-10-25 14:12:50 +02:00 |
|
Anders Schack-Mulligen
|
8fe1634fcc
|
Java: Add test.
|
2018-10-25 13:00:15 +02:00 |
|
Anders Schack-Mulligen
|
1188e18837
|
Java: Whitelist Cookie::getName for HTTP response splitting.
|
2018-10-25 12:02:33 +02:00 |
|
Jonas Jensen
|
5cbfdd1029
|
C++: Cover more cases of returning *this
|
2018-10-25 10:41:56 +02:00 |
|