Jonas Jensen
17beb2d867
C++: Remove big-step relation in flow-through code
...
This relation was originally introduced to improve performance but may
no longer be necessary. The `localFlowStepPlus` predicate had an
explosion of tuples on oneapi-src/oneDNN for C++.
2020-06-30 21:06:45 +02:00
Geoffrey White
8bdcc47a50
C++: Add a test.
2020-06-30 17:46:08 +01:00
Geoffrey White
54b8f8e662
C++: Make getSecureAlgorithmRegex() return a single regexp as expected, and as getInsecureAlgorithmRegex() does.
2020-06-30 16:51:16 +01:00
Mathias Vorreiter Pedersen
286c09183f
Merge pull request #3837 from geoffw0/qldoc5
...
C++/Java: Update QLDoc and terminology in Encryption.qll
2020-06-30 17:44:59 +02:00
Mathias Vorreiter Pedersen
cb39525f3b
Merge pull request #3847 from nickrolfe/71-this-followup
...
C++: make MemberFunction::getTypeOfThis() return PointerType
2020-06-30 17:44:32 +02:00
Tom Hvitved
de3dc734ff
C++: Follow-up changes
2020-06-30 17:44:16 +02:00
Tom Hvitved
1fa58bd82d
Data flow: Sync files
2020-06-30 17:37:16 +02:00
Geoffrey White
3016798101
Merge branch 'master' into copymove
2020-06-30 16:20:41 +01:00
Geoffrey White
c57c016ced
C++: Go the other way.
2020-06-30 16:16:00 +01:00
Jonas Jensen
63de58c557
Merge pull request #3819 from dbartol/codeql-c-analysis-team/40/2
...
C++: More IR QLDoc (including `Opcode.qll`)
2020-06-30 17:09:15 +02:00
Jonas Jensen
4a5299e368
Merge pull request #3843 from geoffw0/qldoc6
...
C++: Bit more QLDoc
2020-06-30 16:21:37 +02:00
Geoffrey White
3bdfab8d8c
C++: Autoformat.
2020-06-30 14:12:34 +01:00
Nick Rolfe
09e13ca2f2
C++: make MemberFunction::getTypeOfThis() return PointerType
...
The dbscheme technically allows for any Type, but in practice it will
always be a PointerType, so this should make it easier for users to
understand.
2020-06-30 13:45:21 +01:00
Matthew Gretton-Dann
ab876b8b78
Merge pull request #3814 from nickrolfe/71-this
...
C++: add MemberFunction::getTypeOfThis()
2020-06-30 13:31:14 +01:00
Geoffrey White
51db1475ff
Apply suggestions from code review
...
Co-authored-by: Jonas Jensen <jbj@github.com >
2020-06-30 12:42:12 +01:00
Geoffrey White
4c088b19ad
C++: Delete outdated bit.
2020-06-30 12:38:02 +01:00
Geoffrey White
bbb9396300
C++: Improvement in Overflow.qll.
2020-06-30 12:20:19 +01:00
Geoffrey White
0ee73cce51
Update cpp/ql/src/semmle/code/cpp/security/FunctionWithWrappers.qll
...
Co-authored-by: Jonas Jensen <jbj@github.com >
2020-06-30 12:16:20 +01:00
Geoffrey White
de25bc6c78
C++: Improvement in Synchronization.qll.
2020-06-30 12:14:56 +01:00
Geoffrey White
3a3cc9a60a
C++: Autoformat.
2020-06-30 12:06:18 +01:00
Mathias Vorreiter Pedersen
c52f68e337
Merge pull request #3808 from geoffw0/qldoc4
...
C++: Yet more QLDoc
2020-06-30 10:33:29 +02:00
Geoffrey White
5c51bb7979
C++: QLDoc Literal.qll.
2020-06-30 09:32:48 +01:00
Jonas Jensen
f79299883a
Merge pull request #3831 from MathiasVP/remove-abstract-decl-var-call
...
C++: Remove abstractness from DeclarationEntry, AccessHolder and Call
2020-06-30 10:21:55 +02:00
Geoffrey White
40e02bee53
C++: QLDoc Overflow.qll.
2020-06-30 09:19:41 +01:00
Geoffrey White
0102322544
C++: QLDoc FunctionWithWrappers.qll.
2020-06-30 09:10:21 +01:00
Jonas Jensen
47bb007b9a
C++: Autoformat fixups
2020-06-30 09:56:39 +02:00
Mathias Vorreiter Pedersen
acee9eb7ab
C++: Add comment to pseudo-abstract predicates
2020-06-30 09:19:47 +02:00
Mathias Vorreiter Pedersen
50709b235e
C++: Replace implication with disjunction in charpred for Call
2020-06-30 09:18:52 +02:00
Mathias Vorreiter Pedersen
667bb323ac
C++: Rename union types to follow the naming convention of IPA types (and make them private)
2020-06-30 08:40:46 +02:00
Tom Hvitved
b57cfc965a
Merge pull request #3804 from aschackmull/dataflow/dispatch-refactor
...
Dataflow: Refactor dispatch with call context.
2020-06-30 08:28:27 +02:00
Dave Bartolomeo
42657dbe3f
C++: Miscellaneous IR QLDoc
2020-06-29 14:30:12 -04:00
Dave Bartolomeo
1fa38474e9
C++: Autoformat
2020-06-29 14:09:53 -04:00
Nick Rolfe
4b6908c5bf
C++: test template classes with MemberFunction::getTypeOfThis()
2020-06-29 18:05:58 +01:00
Geoffrey White
fc69c16ba6
C++: Deprecate some old terminology.
2020-06-29 18:03:16 +01:00
Geoffrey White
71492f90ac
C++: QLDoc Encryption.qll, improve existing QLDoc, and update terminology.
2020-06-29 18:03:15 +01:00
Dave Bartolomeo
c52653270e
C++: QLDoc for IRConfiguration.qll
2020-06-29 12:43:51 -04:00
Dave Bartolomeo
87f0b0ef97
C++: QLDoc for EdgeKind.qll
2020-06-29 12:43:50 -04:00
Dave Bartolomeo
440ea6a069
C++: QLDoc for PrintIR.qll
2020-06-29 12:43:50 -04:00
Dave Bartolomeo
2043d9c7c4
C++: QLDoc for Operand.qll
2020-06-29 12:43:50 -04:00
Dave Bartolomeo
ead2a143e0
C++: QLDoc for IRVariable
...
Moved a couple of predicates that were only needed by IR construction into `TranslatedElement.qll`
2020-06-29 12:43:50 -04:00
Dave Bartolomeo
1423ea0591
C++: More IR.qll QLDoc
2020-06-29 12:43:50 -04:00
Dave Bartolomeo
98348a9353
C++: QLDoc for IR.qll
2020-06-29 12:43:50 -04:00
Dave Bartolomeo
88f89b3334
C++: QLDoc for IRFunction.qll
2020-06-29 12:43:49 -04:00
Dave Bartolomeo
d0af9f5808
C++: QLDoc all of IRBlock.qll
2020-06-29 12:43:49 -04:00
Dave Bartolomeo
77bf564136
C++: Finish Instruction.qll QLDoc
2020-06-29 12:43:49 -04:00
Dave Bartolomeo
6de3d5bc3d
C++: Change opcode QLDocs to refer to instruction QLDocs
...
As discussed in today's C++ analysis team meeting. `Opcode` is rarely used directly, so we'll just refer to the documentation for the corresponding `Instruction` class.
I've preserved the script in case we want to do a bulk change of all of the `Opcode` comments, but I don't expect it will be needed if we just add a new `Opcode` or two.
2020-06-29 12:41:36 -04:00
Geoffrey White
a8a7df4e5c
C++: QLDoc SensitiveExprs.qll.
2020-06-29 17:08:44 +01:00
Geoffrey White
e2e5e9b2a9
C++: QLDoc Synchronization.qll and improve existing QLDoc.
2020-06-29 16:56:01 +01:00
Anders Schack-Mulligen
0bd81eb4b8
Dataflow: Fix reference to viableCallable.
2020-06-29 16:22:58 +02:00
Geoffrey White
55883f60f7
C++: Autoformat.
2020-06-29 14:48:15 +01:00
