Erik Krogh Kristensen
ffbd0f6632
update expected test output
2020-01-20 09:56:40 +01:00
Erik Krogh Kristensen
b3b132c66d
Merge remote-tracking branch 'upstream/master' into ExceptionalPromise
2020-01-20 09:20:09 +01:00
Jonas Jensen
742bd1c6ad
Merge pull request #2648 from rdmarsh2/getMemoryOperandDefinition-perf
...
C++: Performance fix for getMemoryOperandDefinition
2020-01-20 08:49:55 +01:00
Grzegorz Golawski
00ee3d2549
Query to detect LDAP injections in Java
...
Cleanup
2020-01-18 20:21:38 +01:00
Grzegorz Golawski
95723b08e1
Query to detect LDAP injections in Java
...
Add help
2020-01-18 19:01:35 +01:00
Grzegorz Golawski
8cec46342f
Query to detect LDAP injections in Java
...
Refactoring
2020-01-18 17:14:22 +01:00
Sauyon Lee
32fa033a55
Makefile: Add exe suffix back to tools/bin targets
2020-01-17 14:05:29 -08:00
Sauyon Lee
52fe0afa48
Makefile: Delete entire test db in clean
2020-01-17 14:05:27 -08:00
Sauyon Lee
1eb9466de2
Use codeql for testing and add binary cross compilation support
...
Also add support for building the extractor inside this repository
so that users can build and use the extractor, and an up-to-date
version can be used for testing.
2020-01-17 14:05:26 -08:00
Jonas Jensen
d3a1856793
Merge pull request #2646 from geoffw0/modelinet
...
CPP: Fix a mistake in Inet.qll.
2020-01-17 22:53:43 +01:00
Sauyon Lee
471d843025
Merge pull request #222 from max/switch-guard-nodes
...
Switch guard nodes
2020-01-17 21:44:59 +00:00
Sauyon Lee
4e5fd46bc6
autobuilder: Close stdin of subprocesses
...
This fixes issues where build programs were prompting for input,
causing the build to hang indefinitely.
2020-01-17 12:43:07 -08:00
Sauyon Lee
53e5ebba20
autobuilder: Run build tools if relevant files exist
2020-01-17 12:43:06 -08:00
Sauyon Lee
c76684851f
autobuilder: run make if Makefile exists
2020-01-17 12:43:05 -08:00
Geoffrey White
97c346285e
CPP: Change note.
2020-01-17 18:56:21 +00:00
Geoffrey White
fcea3693f9
CPP: Remove now redundant special cases.
2020-01-17 18:56:21 +00:00
Geoffrey White
200545d88c
CPP: Add detail to the model.
2020-01-17 18:56:21 +00:00
Geoffrey White
77a3778eef
CPP: Add some strlen variants to the PureStrFunction model.
2020-01-17 18:56:21 +00:00
Jonas Jensen
3632d51abc
Merge pull request #2635 from geoffw0/modelstrdup
...
CPP: Model strdup
2020-01-17 19:26:26 +01:00
Geoffrey White
803da339a1
CPP: Fix a mistake in Inet.qll.
2020-01-17 17:44:42 +00:00
Geoffrey White
e4139fe427
Apply suggestions from code review
...
Additional corrections.
Co-Authored-By: Dave Bartolomeo <dbartol@github.com >
2020-01-17 17:20:37 +00:00
Sauyon Lee
2d97b396b7
Merge pull request #20 from github/sort-change-notes
...
Sort lines in change notes.
2020-01-17 09:01:46 -08:00
Geoffrey White
7dbda22a29
CPP: Update change note.
2020-01-17 16:19:39 +00:00
Geoffrey White
839fd8f848
CPP: Fix typo.
2020-01-17 16:10:41 +00:00
Robert Marsh
bd98427c5a
C++: sync files
2020-01-17 08:05:40 -08:00
Robert Marsh
bbf191e857
C++: fix join order in hasMemoryOperandDefinition
2020-01-17 08:05:40 -08:00
Robert Marsh
d91bc4ba72
C++: pull out hasMemoryOperandDefinition (slow)
2020-01-17 08:05:26 -08:00
Dave Bartolomeo
c7e62b4a35
Merge pull request #2613 from rdmarsh2/getPhiOperandDefinition-perf-2
...
C++: performance fixes for getPhiOperandDefinition
2020-01-17 09:01:33 -07:00
Max Schaefer
08ba795565
Sort lines in change notes.
2020-01-17 15:46:50 +00:00
Mathias Vorreiter Pedersen
cd644ca5f2
Merge branch 'implicit-function-declaration' of github.com:MathiasVP/ql into implicit-function-declaration
2020-01-17 14:52:23 +01:00
Mathias Vorreiter Pedersen
303c6aa5b7
C++: Added query to suites and change-notes
2020-01-17 14:51:40 +01:00
Max Schaefer
d8b97afcab
Implement Field.hasQualifiedName.
2020-01-17 13:16:35 +00:00
Max Schaefer
e5e6f73081
Make Field extend Variable.
2020-01-17 13:15:43 +00:00
Max Schaefer
4ee8f08bf5
Adjust Location.toString() to match what other parts of the toolchain print.
2020-01-17 13:08:43 +00:00
Max Schaefer
2558e67c2b
Give entities a location.
2020-01-17 13:08:43 +00:00
Mathias Vorreiter Pedersen
4fc325f794
C++: Raise query to warning-high
2020-01-17 13:59:25 +01:00
Mathias Vorreiter Pedersen
aaf2679bf7
Remove incorrect html tag
...
Co-Authored-By: Jonas Jensen <jbj@github.com >
2020-01-17 13:52:38 +01:00
Mathias Vorreiter Pedersen
e79c0820ef
Fix reference
...
Co-Authored-By: Jonas Jensen <jbj@github.com >
2020-01-17 13:51:14 +01:00
Erik Krogh Kristensen
a25c5d7090
outlining a predicate to give hints about join ordering
2020-01-17 13:42:08 +01:00
Jonas Jensen
53e10e4c7f
Merge pull request #2634 from MathiasVP/overrideable-taint-sources
...
C++: Overrideable taint sources in DefaultTaintTracking
2020-01-17 13:01:03 +01:00
Mathias Vorreiter Pedersen
9e71e7f2ef
C++: Added .qlhelp file
2020-01-17 12:58:10 +01:00
Erik Krogh Kristensen
6ad62e32e0
copyPropertyStep works interprocedurally
2020-01-17 12:24:29 +01:00
Jonas Jensen
d19c77d473
C++: Indirection for security.TaintTracking impl
...
This change should make it easier to switch to the IR-based
`DefaultTaintTracking` code without getting a large and conflict-prone
diff.
2020-01-17 12:04:53 +01:00
Max Schaefer
24f9fce7a1
Rename MkCaseNode as suggested.
2020-01-17 10:32:39 +00:00
Max Schaefer
e86201829e
Add an explanatory comment.
2020-01-17 10:27:36 +00:00
Max Schaefer
98c7c4a255
Autoformat.
2020-01-17 10:25:10 +00:00
Marc Waldman
dbe51e070f
Merge pull request #2 from marcrepo/patch-2
...
Documentation update for Issue #2623
2020-01-17 04:55:34 -05:00
Marc Waldman
a9b6b2c4cd
Merge pull request #1 from marcrepo/patch-1
...
Removed word "file" from description (see Issue 2623)
2020-01-17 04:55:06 -05:00
Marc Waldman
0d409b2d69
Documentation update for Issue #2623
...
Changes based on Issue #2623 - DescriptorNeverClosed.ql identifies only sockets (not file handles)
2020-01-17 04:46:10 -05:00
Marc Waldman
140051cc9a
Removed word "file" from description (see Issue 2623)
...
This pull request is in reference to Issue #2623 - "DescriptorNeverClosed.ql identifies only sockets (not file handles)"
2020-01-17 04:38:15 -05:00
