hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #99 from aschackmull/java/fieldflow-perf

Browse Source 
Java/C: Improve performance when multiple configs use field flow.
This commit is contained in:
Jonas Jensen
2018-08-28 15:27:29 +02:00
committed by GitHub
parent 4536d75b2f f2760f2547
commit f88dc37218
4 changed files with 16 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll
View File

@@ -237,7 +237,7 @@
private predicate storeCandFwd1(Content f, Configuration config) {
exists(Node mid, Node node |
not config.isBarrier(node) and
useFieldFlow(unbind(config)) and
useFieldFlow(config) and
nodeCandFwd1(mid, _, config) and
store(mid, f, node)
)
@@ -312,7 +312,7 @@
*/
private predicate readCand1(Content f, Configuration config) {
exists(Node mid, Node node |
useFieldFlow(unbind(config)) and
useFieldFlow(config) and
nodeCandFwd1(node, true, unbind(config)) and
read(node, f, mid) and
storeCandFwd1(f, unbind(config)) and
@@ -548,7 +548,7 @@
*/
private predicate storeCandFwd2(Content f, Configuration config) {
exists(Node mid, Node node |
useFieldFlow(unbind(config)) and
useFieldFlow(config) and
nodeCand1(node, true, unbind(config)) and
nodeCandFwd2(mid, _, _, config) and
store(mid, f, node) and
@@ -616,7 +616,7 @@
*/
private predicate readCand2(Content f, Configuration config) {
exists(Node mid, Node node |
useFieldFlow(unbind(config)) and
useFieldFlow(config) and
nodeCandFwd2(node, _, true, unbind(config)) and
read(node, f, mid) and
storeCandFwd2(f, unbind(config)) and

8
cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll
View File

@@ -237,7 +237,7 @@
private predicate storeCandFwd1(Content f, Configuration config) {
exists(Node mid, Node node |
not config.isBarrier(node) and
useFieldFlow(unbind(config)) and
useFieldFlow(config) and
nodeCandFwd1(mid, _, config) and
store(mid, f, node)
)
@@ -312,7 +312,7 @@
*/
private predicate readCand1(Content f, Configuration config) {
exists(Node mid, Node node |
useFieldFlow(unbind(config)) and
useFieldFlow(config) and
nodeCandFwd1(node, true, unbind(config)) and
read(node, f, mid) and
storeCandFwd1(f, unbind(config)) and
@@ -548,7 +548,7 @@
*/
private predicate storeCandFwd2(Content f, Configuration config) {
exists(Node mid, Node node |
useFieldFlow(unbind(config)) and
useFieldFlow(config) and
nodeCand1(node, true, unbind(config)) and
nodeCandFwd2(mid, _, _, config) and
store(mid, f, node) and
@@ -616,7 +616,7 @@
*/
private predicate readCand2(Content f, Configuration config) {
exists(Node mid, Node node |
useFieldFlow(unbind(config)) and
useFieldFlow(config) and
nodeCandFwd2(node, _, true, unbind(config)) and
read(node, f, mid) and
storeCandFwd2(f, unbind(config)) and

8
cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll
View File

@@ -237,7 +237,7 @@
private predicate storeCandFwd1(Content f, Configuration config) {
exists(Node mid, Node node |
not config.isBarrier(node) and
useFieldFlow(unbind(config)) and
useFieldFlow(config) and
nodeCandFwd1(mid, _, config) and
store(mid, f, node)
)
@@ -312,7 +312,7 @@
*/
private predicate readCand1(Content f, Configuration config) {
exists(Node mid, Node node |
useFieldFlow(unbind(config)) and
useFieldFlow(config) and
nodeCandFwd1(node, true, unbind(config)) and
read(node, f, mid) and
storeCandFwd1(f, unbind(config)) and
@@ -548,7 +548,7 @@
*/
private predicate storeCandFwd2(Content f, Configuration config) {
exists(Node mid, Node node |
useFieldFlow(unbind(config)) and
useFieldFlow(config) and
nodeCand1(node, true, unbind(config)) and
nodeCandFwd2(mid, _, _, config) and
store(mid, f, node) and
@@ -616,7 +616,7 @@
*/
private predicate readCand2(Content f, Configuration config) {
exists(Node mid, Node node |
useFieldFlow(unbind(config)) and
useFieldFlow(config) and
nodeCandFwd2(node, _, true, unbind(config)) and
read(node, f, mid) and
storeCandFwd2(f, unbind(config)) and

8
cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll
View File

@@ -237,7 +237,7 @@
private predicate storeCandFwd1(Content f, Configuration config) {
exists(Node mid, Node node |
not config.isBarrier(node) and
useFieldFlow(unbind(config)) and
useFieldFlow(config) and
nodeCandFwd1(mid, _, config) and
store(mid, f, node)
)
@@ -312,7 +312,7 @@
*/
private predicate readCand1(Content f, Configuration config) {
exists(Node mid, Node node |
useFieldFlow(unbind(config)) and
useFieldFlow(config) and
nodeCandFwd1(node, true, unbind(config)) and
read(node, f, mid) and
storeCandFwd1(f, unbind(config)) and
@@ -548,7 +548,7 @@
*/
private predicate storeCandFwd2(Content f, Configuration config) {
exists(Node mid, Node node |
useFieldFlow(unbind(config)) and
useFieldFlow(config) and
nodeCand1(node, true, unbind(config)) and
nodeCandFwd2(mid, _, _, config) and
store(mid, f, node) and
@@ -616,7 +616,7 @@
*/
private predicate readCand2(Content f, Configuration config) {
exists(Node mid, Node node |
useFieldFlow(unbind(config)) and
useFieldFlow(config) and
nodeCandFwd2(node, _, true, unbind(config)) and
read(node, f, mid) and
storeCandFwd2(f, unbind(config)) and