tabby缓存污点信息数组为空

[one-pyy]

大佬好, 在运行tabby分析之后, 发现污点分析出来的非空数组非常少

按理来说两万个class和几十万行是不是不该只有这么点

2024-01-04 13:44:52.116  INFO 7796 --- [           main] tabby.core.scanner.CallGraphScanner      : Build call graph. START!
2024-01-04 13:45:12.534  INFO 7796 --- [bby-collector-7] tabby.util.TickTock                      : Status: 5.0%, Remain: 209725
2024-01-04 13:45:31.063  INFO 7796 --- [by-collector-11] tabby.util.TickTock                      : Status: 10.0%, Remain: 198687
2024-01-04 13:45:50.239  INFO 7796 --- [by-collector-16] tabby.util.TickTock                      : Status: 15.0%, Remain: 187649
2024-01-04 13:46:13.352 ERROR 7796 --- [-34627-thread-1] s.j.t.t.fast.TypePromotionUseVisitor     : Failed Typing in <java.awt.image.ComponentColorModel: int getRGBComponent(int,int)> at statement opixel#1 = $r0: Is not cast compatible: null_type <-- java.lang.Object
2024-01-04 13:46:20.764  INFO 7796 --- [by-collector-15] tabby.util.TickTock                      : Status: 20.0%, Remain: 176611
2024-01-04 13:46:46.101  INFO 7796 --- [bby-collector-5] tabby.util.TickTock                      : Status: 25.0%, Remain: 165573
2024-01-04 13:46:57.433 ERROR 7796 --- [-51582-thread-1] s.j.t.t.fast.TypePromotionUseVisitor     : Failed Typing in <com.sun.imageio.plugins.tiff.TIFFIFD: int readFieldValue(javax.imageio.stream.ImageInputStream,int,int,java.lang.Object[])> at statement obj#10 = $r0: Is not cast compatible: null_type <-- java.lang.Object
2024-01-04 13:47:07.861  INFO 7796 --- [by-collector-19] tabby.util.TickTock                      : Status: 30.0%, Remain: 154535
2024-01-04 13:47:11.466 ERROR 7796 --- [by-collector-10] tabby.core.collector.CallEdgeCollector   : Something error on call graph. <com.sun.imageio.plugins.jpeg.DQTMarkerSegment: void print()>
2024-01-04 13:47:11.466 ERROR 7796 --- [by-collector-10] tabby.core.collector.CallEdgeCollector   : null
2024-01-04 13:47:28.661  INFO 7796 --- [bby-collector-6] tabby.util.TickTock                      : Status: 35.0%, Remain: 143497
2024-01-04 13:47:53.407  INFO 7796 --- [by-collector-20] tabby.util.TickTock                      : Status: 40.0%, Remain: 132459
2024-01-04 13:48:02.899 ERROR 7796 --- [by-collector-13] tabby.core.collector.CallEdgeCollector   : Something error on call graph. <javax.swing.JRootPane: java.awt.Container createContentPane()>
2024-01-04 13:48:02.900 ERROR 7796 --- [by-collector-13] tabby.core.collector.CallEdgeCollector   : null
2024-01-04 13:48:06.628 ERROR 7796 --- [           main] tabby.core.collector.CallEdgeCollector   : Something error on call graph. <jdk.dynalink.NamedOperation: java.lang.String toString()>
2024-01-04 13:48:06.629 ERROR 7796 --- [           main] tabby.core.collector.CallEdgeCollector   : null
2024-01-04 13:48:14.876  INFO 7796 --- [bby-collector-3] tabby.util.TickTock                      : Status: 45.0%, Remain: 121421
2024-01-04 13:48:33.321  INFO 7796 --- [bby-collector-8] tabby.util.TickTock                      : Status: 50.0%, Remain: 110383
2024-01-04 13:48:52.097 ERROR 7796 --- [by-collector-19] tabby.core.collector.CallEdgeCollector   : Something error on call graph. <com.sun.org.apache.bcel.internal.classfile.ConstantPool: com.sun.org.apache.bcel.internal.classfile.Constant getConstant(int,byte)>
2024-01-04 13:48:52.097 ERROR 7796 --- [by-collector-19] tabby.core.collector.CallEdgeCollector   : null
2024-01-04 13:48:52.956 ERROR 7796 --- [by-collector-11] tabby.core.collector.CallEdgeCollector   : Something error on call graph. <java.awt.image.Raster: java.awt.image.WritableRaster createBandedRaster(int,int,int,int,int[],int[],java.awt.Point)>
2024-01-04 13:48:52.957 ERROR 7796 --- [by-collector-11] tabby.core.collector.CallEdgeCollector   : null
2024-01-04 13:48:55.003  INFO 7796 --- [bby-collector-2] tabby.util.TickTock                      : Status: 55.0%, Remain: 99345
2024-01-04 13:49:18.822  INFO 7796 --- [by-collector-13] tabby.util.TickTock                      : Status: 60.0%, Remain: 88307
2024-01-04 13:49:25.555 ERROR 7796 --- [bby-collector-5] tabby.core.collector.CallEdgeCollector   : Something error on call graph. <com.sun.org.apache.bcel.internal.util.CodeHTML: void writeMethod(com.sun.org.apache.bcel.internal.classfile.Method,int)>
2024-01-04 13:49:25.555 ERROR 7796 --- [bby-collector-5] tabby.core.collector.CallEdgeCollector   : null
2024-01-04 13:49:39.798  INFO 7796 --- [bby-collector-5] tabby.util.TickTock                      : Status: 65.0%, Remain: 77269
2024-01-04 13:49:39.950 ERROR 7796 --- [by-collector-13] tabby.core.collector.CallEdgeCollector   : Something error on call graph. <com.sun.tools.jdeps.JdepsTask: void showHelp()>
2024-01-04 13:49:39.950 ERROR 7796 --- [by-collector-13] tabby.core.collector.CallEdgeCollector   : null
2024-01-04 13:50:06.239  INFO 7796 --- [by-collector-10] tabby.util.TickTock                      : Status: 70.0%, Remain: 66231
2024-01-04 13:50:30.947  INFO 7796 --- [by-collector-19] tabby.util.TickTock                      : Status: 75.0%, Remain: 55193
2024-01-04 13:50:54.299  INFO 7796 --- [bby-collector-2] tabby.util.TickTock                      : Status: 80.0%, Remain: 44155
2024-01-04 13:51:19.763  INFO 7796 --- [bby-collector-8] tabby.util.TickTock                      : Status: 85.0%, Remain: 33117
2024-01-04 13:51:37.768 ERROR 7796 --- [bby-collector-3] tabby.core.collector.CallEdgeCollector   : Something error on call graph. <com.sun.jndi.ldap.LdapReferralException: void dumpState()>
2024-01-04 13:51:37.768 ERROR 7796 --- [bby-collector-3] tabby.core.collector.CallEdgeCollector   : null
2024-01-04 13:51:45.991  INFO 7796 --- [bby-collector-9] tabby.util.TickTock                      : Status: 90.0%, Remain: 22079
2024-01-04 13:51:46.241 ERROR 7796 --- [by-collector-13] tabby.core.collector.CallEdgeCollector   : Something error on call graph. <com.sun.rowset.internal.CachedRowSetWriter: void initSQLStatements(javax.sql.rowset.CachedRowSet)>
2024-01-04 13:51:46.242 ERROR 7796 --- [by-collector-13] tabby.core.collector.CallEdgeCollector   : null
2024-01-04 13:51:51.214  INFO 7796 --- [           main] tabby.util.TickTock                      : Wait for all tasks to complete. Timeout: 120s
2024-01-04 13:52:07.940  INFO 7796 --- [bby-collector-1] tabby.util.TickTock                      : Status: 95.0%, Remain: 11041
2024-01-04 13:52:14.273 ERROR 7796 --- [bby-collector-8] tabby.core.collector.CallEdgeCollector   : Something error on call graph. <com.sun.tools.jdi.JDWP$ReferenceType$Module: void <init>(com.sun.tools.jdi.VirtualMachineImpl,com.sun.tools.jdi.PacketStream)>
2024-01-04 13:52:14.274 ERROR 7796 --- [bby-collector-8] tabby.core.collector.CallEdgeCollector   : null
2024-01-04 13:52:19.426 ERROR 7796 --- [by-collector-16] tabby.core.collector.CallEdgeCollector   : Something error on call graph. <sun.jvm.hotspot.CLHSDB: void attachDebugger(java.lang.String,java.lang.String)>
2024-01-04 13:52:19.427 ERROR 7796 --- [by-collector-16] tabby.core.collector.CallEdgeCollector   : null
2024-01-04 13:52:29.425  INFO 7796 --- [bby-collector-3] tabby.util.TickTock                      : Status: 100.0%, Remain: 3
2024-01-04 13:52:29.452  INFO 7796 --- [bby-collector-2] tabby.util.TickTock                      : Status: 100.0%, Remain: 0
2024-01-04 13:52:29.452  INFO 7796 --- [           main] tabby.util.TickTock                      : All tasks completed.
2024-01-04 13:52:29.452  INFO 7796 --- [           main] tabby.core.scanner.CallGraphScanner      : Build call graph. DONE!

运行过程中出现了如上报错, 可能是以上的原因嘛?

以及对于tabby 1.2, tabby_path_finder应该用1.0的嘛?(因为看大佬放出来的示例中, 函数调用的POLLUTED_POSITION都是双层的数组)

[wh1t3p1g]

看起来没有用上污点分析的模式。在配置文件里面 tabby.build.isFullCallGraphCreate = false 改成false call边上才会有

[one-pyy]

好嘞, 谢谢大佬!