ihsinme
|
635a668670
|
Update IncorrectChangingWorkingDirectory.ql
|
2021-10-29 10:08:41 +03:00 |
|
ihsinme
|
c8a4a8b965
|
Update InsecureTemporaryFile.ql
|
2021-10-29 09:44:43 +03:00 |
|
Mathias Vorreiter Pedersen
|
490156d7db
|
C++: Remove the 'isIndirection' predicate on 'SourceVariable' and move the rootdef of 'getIRVariable' into the two subclasses.
|
2021-10-28 17:26:28 +01:00 |
|
Mathias Vorreiter Pedersen
|
05900cda87
|
C++: Rename 'Ssa' to 'SsaInternals' and move definitions from 'SSaImplSpecific' to 'SsaInternals'. Now we can avoid cyclic imports.
|
2021-10-28 17:10:48 +01:00 |
|
Erik Krogh Kristensen
|
15c90adec5
|
remove redundant cast where the type is enforced by an equality comparison
|
2021-10-28 18:08:20 +02:00 |
|
Erik Krogh Kristensen
|
e75448ebb0
|
remove redundant inline casts
|
2021-10-28 16:35:53 +02:00 |
|
Mathias Vorreiter Pedersen
|
675e284c0e
|
C++: A 'LoadInstruction' in a store chain always sets 'certain = false'.
|
2021-10-28 14:52:57 +01:00 |
|
Mathias Vorreiter Pedersen
|
ee2541c3bc
|
C++: Fix QLDoc on 'getDestinationAddress'.
|
2021-10-28 14:12:22 +01:00 |
|
Mathias Vorreiter Pedersen
|
cde80ccf83
|
Replace 'hasLocationInfo' with 'getLocation'.
|
2021-10-28 14:09:26 +01:00 |
|
Mathias Vorreiter Pedersen
|
387c96d1e2
|
Rename 'SourceVariable.getVariable' to 'SourceVariable.getIRVariable' and replace 'Def.getVariable' to 'Def.getSourceVariable'.
|
2021-10-28 14:00:50 +01:00 |
|
Mathias Vorreiter Pedersen
|
12e0185b0d
|
C++: Sync identical files.
|
2021-10-28 12:36:36 +01:00 |
|
Mathias Vorreiter Pedersen
|
2cd23e5ee0
|
Accept test changes.
|
2021-10-28 12:36:36 +01:00 |
|
Mathias Vorreiter Pedersen
|
8135dcefdd
|
Merge branch 'main' into use-shared-ssa-in-ir-dataflow
|
2021-10-28 12:36:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
521d863429
|
C++: Autoformat.
|
2021-10-28 12:35:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
2547a8d746
|
C++: Fix join orders in 'DataFlowDispatch.qll' and Ssa.qll.
|
2021-10-28 12:35:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
21a1ee7758
|
C++: Add annoying case in SSA.qll related to 'NewExpr' and accept test changes.
|
2021-10-28 12:35:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
3efe60fdd2
|
C++: Accept test changes.
|
2021-10-28 12:35:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
5dbaea8b52
|
C++: Add a special dataflow step from InitializeIndirection instructions.
|
2021-10-28 12:35:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
b1ea00fa85
|
C++: Remove the taintflow edges that gives performance problems.
|
2021-10-28 12:35:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
710d0cfc3d
|
C++: Since we now no longer have flow from exact memory operands to LoadInstructions, we no longer have flow from PhiInstructions to LoadInstructions. We could allow flow in this particular case, but we might as well use the shared SSA library's phi edges.
|
2021-10-28 12:35:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
8caff41138
|
C++: Throw away most of the usage of IR-computed def-use information. Instead, we rely on the shared SSA library's use-use edges.
|
2021-10-28 12:35:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
3a488574e5
|
C++: Rewrite the PartialDefinitionNode classes to match the new StoreNodes.
|
2021-10-28 12:35:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
8bef79502f
|
C++: Similarly to the previous commit, we throw away the old memory-edges based way of doing read steps. Instead, we use the shared SSA library to transfer flow into a new ReadNode IPA branch, perform the necessary read steps, and then use the shared SSA library to transfer flow out of the ReadNode again.
|
2021-10-28 12:35:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
5ebefe2d30
|
C++: Throw away the old way of doing store steps using memory edges. Instead, we introduce a StoreNode IPA branch that does store steps and instead use the shared SSA library to transfer flow into these nodes before a store step, and out of them following a sequence of store steps.
|
2021-10-28 12:35:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
1842fed7a2
|
C++: Add shared SSA library and instantiate it with the IR.
|
2021-10-28 10:52:09 +01:00 |
|
Mathias Vorreiter Pedersen
|
13ce2569d7
|
C++/C#: Sync identical IR files·
|
2021-10-28 10:52:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
bccd4e9e93
|
C++: Add 'getReturnAddress' and 'getReturnAddressOperand' predicates to 'ReturnValueInstruction'.
|
2021-10-28 10:51:49 +01:00 |
|
ihsinme
|
432fc74455
|
Apply suggestions from code review
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2021-10-28 10:37:01 +03:00 |
|
ihsinme
|
235a3ec232
|
Update InsecureTemporaryFile.qhelp
|
2021-10-28 10:34:42 +03:00 |
|
ihsinme
|
0addb2d1ea
|
Update IncorrectChangingWorkingDirectory.ql
|
2021-10-28 10:17:48 +03:00 |
|
ihsinme
|
c3b1d7e5c8
|
Apply suggestions from code review
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2021-10-28 10:17:13 +03:00 |
|
Geoffrey White
|
e0e18c6587
|
C++: Drop the precision tags again, for now.
|
2021-10-27 17:24:46 +01:00 |
|
Geoffrey White
|
2182bb5c91
|
C++: Remove unused qhelp files.
|
2021-10-27 15:47:01 +01:00 |
|
Geoffrey White
|
d990e790e7
|
C++: Remove unused index.qhelp files.
|
2021-10-27 15:40:34 +01:00 |
|
Anders Schack-Mulligen
|
699630af54
|
Dataflow: Sync.
|
2021-10-27 13:57:44 +02:00 |
|
Anders Schack-Mulligen
|
034c7f3538
|
Dataflow: Sync.
|
2021-10-27 13:57:44 +02:00 |
|
ihsinme
|
41e15cd497
|
Update IncorrectPrivilegeAssignment.cpp
|
2021-10-25 22:15:52 +03:00 |
|
Erik Krogh Kristensen
|
d2d6b2ca7c
|
apply range pattern patch to cpp
|
2021-10-25 19:38:10 +02:00 |
|
ihsinme
|
a33c076f5f
|
Add files via upload
|
2021-10-25 14:40:35 +03:00 |
|
ihsinme
|
6173b11274
|
Add files via upload
|
2021-10-25 14:39:43 +03:00 |
|
ihsinme
|
5d5d6bcc69
|
Add files via upload
|
2021-10-25 14:34:10 +03:00 |
|
ihsinme
|
baec186359
|
Add files via upload
|
2021-10-25 14:33:01 +03:00 |
|
ihsinme
|
3f3988ce1c
|
Add files via upload
|
2021-10-25 14:24:35 +03:00 |
|
ihsinme
|
8e8a324fa6
|
Add files via upload
|
2021-10-25 14:23:19 +03:00 |
|
Geoffrey White
|
9009dac9ea
|
Merge branch 'main' into nullterm2
|
2021-10-21 13:14:15 +01:00 |
|
Geoffrey White
|
0e5cfd3469
|
C++: Rename the predicate and make it private.
|
2021-10-20 16:12:04 +01:00 |
|
Geoffrey White
|
5379b25146
|
C++: Add tests.
|
2021-10-20 15:44:56 +01:00 |
|
Geoffrey White
|
f17c06a37f
|
C++: Fix mistake in previous commit.
|
2021-10-20 15:40:14 +01:00 |
|
Mathias Vorreiter Pedersen
|
7feab27bf4
|
Merge pull request #6926 from geoffw0/setliterals2
C++: Use set literals (more).
|
2021-10-20 14:58:06 +01:00 |
|
Geoffrey White
|
da412178ce
|
C++: Use set literals (more).
|
2021-10-20 14:18:27 +01:00 |
|