More precise predicate parameter compare method

CryptoAnalysis/cognicrypt-output/viz/ObjectId#8e9d1ea268d4626ee501f1a9a848b5d8f74702e98c7baff431ae245c4189fa16.json

@@ -0,0 +1 @@
+[{"methods":[{"dfg":{"dataFlowNode":[{"data":{"factId":44,"label":"varReplacer15 ({} · [{}]* )"},"classes":"fact label method2","position":{"x":30,"y":0}},{"data":{"factId":45,"label":"varReplacer15 [{}]* "},"classes":"fact label method2","position":{"x":60,"y":0}},{"data":{"stmtId":36,"factId":44,"ideValue":"ONE","id":"q1n46"},"classes":"esgNode method2 ","position":{"x":30,"y":810},"group":"nodes"},{"data":{"stmtId":37,"factId":44,"ideValue":"ONE","id":"q1n47"},"classes":"esgNode method2 ","position":{"x":30,"y":840},"group":"nodes"},{"data":{"stmtId":39,"factId":44,"ideValue":"ONE","id":"q1n48"},"classes":"esgNode method2 ","position":{"x":30,"y":900},"group":"nodes"},{"data":{"stmtId":35,"factId":45,"ideValue":"ONE","id":"q1n49"},"classes":"esgNode method2 ","position":{"x":60,"y":780},"group":"nodes"},{"data":{"stmtId":41,"factId":44,"ideValue":"ONE","id":"q1n50"},"classes":"esgNode method2 ","position":{"x":30,"y":1020},"group":"nodes"},{"data":{"stmtId":38,"factId":44,"ideValue":"ONE","id":"q1n51"},"classes":"esgNode method2 ","position":{"x":30,"y":870},"group":"nodes"},{"data":{"stmtId":40,"factId":44,"ideValue":"ONE","id":"q1n52"},"classes":"esgNode method2 ","position":{"x":30,"y":930},"group":"nodes"},{"data":{"directed":"true","id":"e53","source":"q1n51","target":"q1n48","direction":"Forward"},"classes":"esgEdge  method2","group":"edges"},{"data":{"directed":"true","id":"e54","source":"q1n52","target":"q1n50","direction":"Forward"},"classes":"esgEdge  method2","group":"edges"},{"data":{"directed":"true","id":"e55","source":"q1n47","target":"q1n51","direction":"Forward"},"classes":"esgEdge  method2","group":"edges"},{"data":{"directed":"true","id":"e56","source":"q1n49","target":"q1n46","direction":"Forward"},"classes":"esgEdge  method2","group":"edges"},{"data":{"directed":"true","id":"e57","source":"q1n46","target":"q1n47","direction":"Forward"},"classes":"esgEdge  method2","group":"edges"},{"data":{"directed":"true","id":"e58","source":"q1n48","target":"q1n52","direction":"Forward"},"classes":"esgEdge  method2","group":"edges"}]},"cfg":{"controlFlowNode":[{"data":{"stmtId":3,"shortLabel":"nop","label":"nop","id":"stmt3","stmtIndex":0},"classes":"stmt label    method2","position":{"x":10,"y":30}},{"data":{"directed":"true","source":"stmt3","target":"stmt4"},"classes":"cfgEdge label method2"},{"data":{"stmtId":4,"shortLabel":"r16 := @parameter0: java.lang.String[]","label":"r16 := @parameter0: java.lang.String[]","id":"stmt4","stmtIndex":1},"classes":"stmt label    method2","position":{"x":10,"y":60}},{"data":{"directed":"true","source":"stmt4","target":"stmt5"},"classes":"cfgEdge label method2"},{"data":{"stmtId":5,"shortLabel":"$r0 = \"0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF\"","label":"$r0 = \"0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF\"","id":"stmt5","stmtIndex":2},"classes":"stmt label    method2","position":{"x":10,"y":90}},{"data":{"directed":"true","source":"stmt5","target":"stmt6"},"classes":"cfgEdge label method2"},{"data":{"callSite":true,"stmtId":6,"callees":[],"shortLabel":"r17 = $r0.getBytes()","label":"r17 = virtualinvoke $r0.<java.lang.String: byte[] getBytes()>()","id":"stmt6","stmtIndex":3},"classes":"stmt label   callSite  method2","position":{"x":10,"y":120}},{"data":{"directed":"true","source":"stmt6","target":"stmt7"},"classes":"cfgEdge label method2"},{"data":{"stmtId":7,"shortLabel":"r1 = newarray (byte)[16]","label":"r1 = newarray (byte)[16]","id":"stmt7","stmtIndex":4},"classes":"stmt label    method2","position":{"x":10,"y":150}},{"data":{"directed":"true","source":"stmt7","target":"stmt8"},"classes":"cfgEdge label method2"},{"data":{"stmtId":8,"shortLabel":"$r2 = new java.security.SecureRandom","label":"$r2 = new java.security.SecureRandom","id":"stmt8","stmtIndex":5},"classes":"stmt label    method2","position":{"x":10,"y":180}},{"data":{"directed":"true","source":"stmt8","target":"stmt9"},"classes":"cfgEdge label method2"},{"data":{"callSite":true,"stmtId":9,"callees":[{"methodName":"&lt;java.security.SecureRandom: void &lt;init&gt;()&gt;","id":10}],"shortLabel":"$r2.<init>()","label":"specialinvoke $r2.<java.security.SecureRandom: void <init>()>()","id":"stmt9","stmtIndex":6},"classes":"stmt label   callSite  method2","position":{"x":10,"y":210}},{"data":{"directed":"true","source":"stmt9","target":"stmt11"},"classes":"cfgEdge label method2"},{"data":{"callSite":true,"stmtId":11,"callees":[{"methodName":"&lt;java.security.SecureRandom: void nextBytes(byte[])&gt;","id":12}],"shortLabel":"$r2.nextBytes(r1)","label":"virtualinvoke $r2.<java.security.SecureRandom: void nextBytes(byte[])>(r1)","id":"stmt11","stmtIndex":7},"classes":"stmt label   callSite  method2","position":{"x":10,"y":240}},{"data":{"directed":"true","source":"stmt11","target":"stmt13"},"classes":"cfgEdge label method2"},{"data":{"stmtId":13,"shortLabel":"$r3 = \"demo text\"","label":"$r3 = \"demo text\"","id":"stmt13","stmtIndex":8},"classes":"stmt label    method2","position":{"x":10,"y":270}},{"data":{"directed":"true","source":"stmt13","target":"stmt14"},"classes":"cfgEdge label method2"},{"data":{"callSite":true,"stmtId":14,"callees":[],"shortLabel":"r4 = $r3.getBytes()","label":"r4 = virtualinvoke $r3.<java.lang.String: byte[] getBytes()>()","id":"stmt14","stmtIndex":9},"classes":"stmt label   callSite  method2","position":{"x":10,"y":300}},{"data":{"directed":"true","source":"stmt14","target":"stmt15"},"classes":"cfgEdge label method2"},{"data":{"stmtId":15,"shortLabel":"$r5 = new javax.crypto.spec.SecretKeySpec","label":"$r5 = new javax.crypto.spec.SecretKeySpec","id":"stmt15","stmtIndex":10},"classes":"stmt label    method2","position":{"x":10,"y":330}},{"data":{"directed":"true","source":"stmt15","target":"stmt16"},"classes":"cfgEdge label method2"},{"data":{"stmtId":16,"shortLabel":"varReplacer10 = \"AES\"","label":"varReplacer10 = \"AES\"","id":"stmt16","stmtIndex":11},"classes":"stmt label    method2","position":{"x":10,"y":360}},{"data":{"directed":"true","source":"stmt16","target":"stmt17"},"classes":"cfgEdge label method2"},{"data":{"callSite":true,"stmtId":17,"callees":[{"methodName":"&lt;javax.crypto.spec.SecretKeySpec: void &lt;init&gt;(byte[],java.lang.String)&gt;","id":18}],"shortLabel":"$r5.<init>(r17, varReplacer10)","label":"specialinvoke $r5.<javax.crypto.spec.SecretKeySpec: void <init>(byte[],java.lang.String)>(r17, varReplacer10)","id":"stmt17","stmtIndex":12},"classes":"stmt label   callSite  method2","position":{"x":10,"y":390}},{"data":{"directed":"true","source":"stmt17","target":"stmt19"},"classes":"cfgEdge label method2"},{"data":{"stmtId":19,"shortLabel":"r6 = $r5","label":"r6 = $r5","id":"stmt19","stmtIndex":13},"classes":"stmt label    method2","position":{"x":10,"y":420}},{"data":{"directed":"true","source":"stmt19","target":"stmt20"},"classes":"cfgEdge label method2"},{"data":{"stmtId":20,"shortLabel":"varReplacer12 = \"AES\/CTR\/NoPadding\"","label":"varReplacer12 = \"AES\/CTR\/NoPadding\"","id":"stmt20","stmtIndex":14},"classes":"stmt label    method2","position":{"x":10,"y":450}},{"data":{"directed":"true","source":"stmt20","target":"stmt21"},"classes":"cfgEdge label method2"},{"data":{"stmtId":21,"shortLabel":"varReplacer13 = \"SunJCE\"","label":"varReplacer13 = \"SunJCE\"","id":"stmt21","stmtIndex":15},"classes":"stmt label    method2","position":{"x":10,"y":480}},{"data":{"directed":"true","source":"stmt21","target":"stmt22"},"classes":"cfgEdge label method2"},{"data":{"callSite":true,"stmtId":22,"callees":[{"methodName":"&lt;javax.crypto.Cipher: javax.crypto.Cipher getInstance(java.lang.String,java.lang.String)&gt;","id":23}],"shortLabel":"r7 = getInstance(varReplacer12, varReplacer13)","label":"r7 = staticinvoke <javax.crypto.Cipher: javax.crypto.Cipher getInstance(java.lang.String,java.lang.String)>(varReplacer12, varReplacer13)","id":"stmt22","stmtIndex":16},"classes":"stmt label   callSite  method2","position":{"x":10,"y":510}},{"data":{"directed":"true","source":"stmt22","target":"stmt24"},"classes":"cfgEdge label method2"},{"data":{"stmtId":24,"shortLabel":"$r8 = new javax.crypto.spec.IvParameterSpec","label":"$r8 = new javax.crypto.spec.IvParameterSpec","id":"stmt24","stmtIndex":17},"classes":"stmt label    method2","position":{"x":10,"y":540}},{"data":{"directed":"true","source":"stmt24","target":"stmt25"},"classes":"cfgEdge label method2"},{"data":{"callSite":true,"stmtId":25,"callees":[{"methodName":"&lt;javax.crypto.spec.IvParameterSpec: void &lt;init&gt;(byte[])&gt;","id":26}],"shortLabel":"$r8.<init>(r1)","label":"specialinvoke $r8.<javax.crypto.spec.IvParameterSpec: void <init>(byte[])>(r1)","id":"stmt25","stmtIndex":18},"classes":"stmt label   callSite  method2","position":{"x":10,"y":570}},{"data":{"directed":"true","source":"stmt25","target":"stmt27"},"classes":"cfgEdge label method2"},{"data":{"stmtId":27,"shortLabel":"r9 = $r8","label":"r9 = $r8","id":"stmt27","stmtIndex":19},"classes":"stmt label    method2","position":{"x":10,"y":600}},{"data":{"directed":"true","source":"stmt27","target":"stmt28"},"classes":"cfgEdge label method2"},{"data":{"stmtId":28,"shortLabel":"varReplacer11 = 1","label":"varReplacer11 = 1","id":"stmt28","stmtIndex":20},"classes":"stmt label    method2","position":{"x":10,"y":630}},{"data":{"directed":"true","source":"stmt28","target":"stmt29"},"classes":"cfgEdge label method2"},{"data":{"callSite":true,"stmtId":29,"callees":[],"shortLabel":"r7.init(varReplacer11, r6, r9)","label":"virtualinvoke r7.<javax.crypto.Cipher: void init(int,java.security.Key,java.security.spec.AlgorithmParameterSpec)>(varReplacer11, r6, r9)","id":"stmt29","stmtIndex":21},"classes":"stmt label   callSite  method2","position":{"x":10,"y":660}},{"data":{"directed":"true","source":"stmt29","target":"stmt30"},"classes":"cfgEdge label method2"},{"data":{"callSite":true,"stmtId":30,"callees":[],"shortLabel":"r10 = r7.doFinal(r4)","label":"r10 = virtualinvoke r7.<javax.crypto.Cipher: byte[] doFinal(byte[])>(r4)","id":"stmt30","stmtIndex":22},"classes":"stmt label   callSite  method2","position":{"x":10,"y":690}},{"data":{"directed":"true","source":"stmt30","target":"stmt31"},"classes":"cfgEdge label method2"},{"data":{"stmtId":31,"shortLabel":"$r11 = new javax.crypto.spec.SecretKeySpec","label":"$r11 = new javax.crypto.spec.SecretKeySpec","id":"stmt31","stmtIndex":23},"classes":"stmt label    method2","position":{"x":10,"y":720}},{"data":{"directed":"true","source":"stmt31","target":"stmt32"},"classes":"cfgEdge label method2"},{"data":{"callSite":true,"stmtId":32,"callees":[{"methodName":"&lt;javax.crypto.spec.SecretKeySpec: byte[] getEncoded()&gt;","id":33}],"shortLabel":"$r12 = r6.getEncoded()","label":"$r12 = virtualinvoke r6.<javax.crypto.spec.SecretKeySpec: byte[] getEncoded()>()","id":"stmt32","stmtIndex":24},"classes":"stmt label   callSite  method2","position":{"x":10,"y":750}},{"data":{"directed":"true","source":"stmt32","target":"stmt34"},"classes":"cfgEdge label method2"},{"data":{"stmtId":34,"shortLabel":"varReplacer15 = \"AES\"","label":"varReplacer15 = \"AES\"","id":"stmt34","stmtIndex":25},"classes":"stmt label    method2","position":{"x":10,"y":780}},{"data":{"directed":"true","source":"stmt34","target":"stmt35"},"classes":"cfgEdge label method2"},{"data":{"callSite":true,"stmtId":35,"callees":[{"methodName":"&lt;javax.crypto.spec.SecretKeySpec: void &lt;init&gt;(byte[],java.lang.String)&gt;","id":18}],"shortLabel":"$r11.<init>($r12, varReplacer15)","label":"specialinvoke $r11.<javax.crypto.spec.SecretKeySpec: void <init>(byte[],java.lang.String)>($r12, varReplacer15)","id":"stmt35","stmtIndex":26},"classes":"stmt label   callSite  method2","position":{"x":10,"y":810}},{"data":{"directed":"true","source":"stmt35","target":"stmt36"},"classes":"cfgEdge label method2"},{"data":{"stmtId":36,"shortLabel":"r13 = $r11","label":"r13 = $r11","id":"stmt36","stmtIndex":27},"classes":"stmt label    method2","position":{"x":10,"y":840}},{"data":{"directed":"true","source":"stmt36","target":"stmt37"},"classes":"cfgEdge label method2"},{"data":{"stmtId":37,"shortLabel":"varReplacer14 = 2","label":"varReplacer14 = 2","id":"stmt37","stmtIndex":28},"classes":"stmt label    method2","position":{"x":10,"y":870}},{"data":{"directed":"true","source":"stmt37","target":"stmt38"},"classes":"cfgEdge label method2"},{"data":{"callSite":true,"stmtId":38,"callees":[],"shortLabel":"r7.init(varReplacer14, r13, r9)","label":"virtualinvoke r7.<javax.crypto.Cipher: void init(int,java.security.Key,java.security.spec.AlgorithmParameterSpec)>(varReplacer14, r13, r9)","id":"stmt38","stmtIndex":29},"classes":"stmt label   callSite  method2","position":{"x":10,"y":900}},{"data":{"directed":"true","source":"stmt38","target":"stmt39"},"classes":"cfgEdge label method2"},{"data":{"callSite":true,"stmtId":39,"callees":[],"shortLabel":"r7.doFinal(r10)","label":"virtualinvoke r7.<javax.crypto.Cipher: byte[] doFinal(byte[])>(r10)","id":"stmt39","stmtIndex":30},"classes":"stmt label   callSite  method2","position":{"x":10,"y":930}},{"data":{"directed":"true","source":"stmt39","target":"stmt40"},"classes":"cfgEdge label method2"},{"data":{"stmtId":40,"shortLabel":"goto [?= return]","label":"goto [?= return]","id":"stmt40","stmtIndex":31},"classes":"stmt label    method2","position":{"x":10,"y":960}},{"data":{"directed":"true","source":"stmt40","target":"stmt41"},"classes":"cfgEdge label method2"},{"data":{"stmtId":42,"shortLabel":"$r15 := @caughtexception","label":"$r15 := @caughtexception","id":"stmt42","stmtIndex":32},"classes":"stmt label    method2","position":{"x":10,"y":990}},{"data":{"directed":"true","source":"stmt42","target":"stmt43"},"classes":"cfgEdge label method2"},{"data":{"stmtId":43,"shortLabel":"r18 = $r15","label":"r18 = $r15","id":"stmt43","stmtIndex":33},"classes":"stmt label    method2","position":{"x":10,"y":1020}},{"data":{"directed":"true","source":"stmt43","target":"stmt41"},"classes":"cfgEdge label method2"},{"data":{"stmtId":41,"returnSite":true,"shortLabel":"return","label":"return","callers":[],"id":"stmt41","stmtIndex":34},"classes":"stmt label  returnSite   method2","position":{"x":10,"y":1050}}]},"methodName":"&lt;pkm.constantKey.ConstantKeyAES3: void main(java.lang.String[])&gt;","id":2}],"query":"F varReplacer15 @ main","id":1}]