方法调用序列追踪工具

上传者: nlznlz | 上传时间: 2023-04-03 15:38:06 | 文件大小: 160KB | 文件类型: ZIP
我的毕业设计,一个基于符号执行的方法调用序列追踪工具。

文件下载

资源详情

[{"title":"( 112 个子文件 160KB ) 方法调用序列追踪工具","children":[{"title":"SEVisitor.class <span style='color:#111;'> 50.84KB </span>","children":null,"spread":false},{"title":"MainWindow.class <span style='color:#111;'> 10.86KB </span>","children":null,"spread":false},{"title":"ClassResolveVisitor.class <span style='color:#111;'> 7.35KB </span>","children":null,"spread":false},{"title":"FinalInfo.class <span style='color:#111;'> 6.36KB </span>","children":null,"spread":false},{"title":"MethodInvocationVisitor.class <span style='color:#111;'> 6.19KB </span>","children":null,"spread":false},{"title":"Function.class <span style='color:#111;'> 4.55KB </span>","children":null,"spread":false},{"title":"TestedClassInfoVisitor.class <span style='color:#111;'> 4.26KB </span>","children":null,"spread":false},{"title":"MainWindow$11.class <span style='color:#111;'> 3.67KB </span>","children":null,"spread":false},{"title":"MethodInfo.class <span style='color:#111;'> 3.57KB </span>","children":null,"spread":false},{"title":"InstanceSet.class <span style='color:#111;'> 2.65KB </span>","children":null,"spread":false},{"title":"Instance.class <span style='color:#111;'> 2.25KB </span>","children":null,"spread":false},{"title":"MainWindow$7.class <span style='color:#111;'> 2.22KB </span>","children":null,"spread":false},{"title":"ClassInfo.class <span style='color:#111;'> 2.17KB </span>","children":null,"spread":false},{"title":"ClassSet.class <span style='color:#111;'> 2.16KB </span>","children":null,"spread":false},{"title":"FieldInfo.class <span style='color:#111;'> 1.93KB </span>","children":null,"spread":false},{"title":"SymbolicExecutor.class <span style='color:#111;'> 1.83KB </span>","children":null,"spread":false},{"title":"MainWindow$7$3.class <span style='color:#111;'> 1.81KB </span>","children":null,"spread":false},{"title":"MainWindow$7$2.class <span style='color:#111;'> 1.80KB </span>","children":null,"spread":false},{"title":"MainWindow$8.class <span style='color:#111;'> 1.80KB </span>","children":null,"spread":false},{"title":"MethodTable.class <span style='color:#111;'> 1.79KB </span>","children":null,"spread":false},{"title":"FieldTable.class <span style='color:#111;'> 1.77KB </span>","children":null,"spread":false},{"title":"ConstraintInfo.class <span style='color:#111;'> 1.66KB </span>","children":null,"spread":false},{"title":"MyClassLoader.class <span style='color:#111;'> 1.62KB </span>","children":null,"spread":false},{"title":"ASTCreator.class <span style='color:#111;'> 1.60KB </span>","children":null,"spread":false},{"title":"InfoUnit.class <span style='color:#111;'> 1.55KB </span>","children":null,"spread":false},{"title":"MainWindow$3.class <span style='color:#111;'> 1.55KB </span>","children":null,"spread":false},{"title":"ArrArea.class <span style='color:#111;'> 1.48KB </span>","children":null,"spread":false},{"title":"InvocationInfo.class <span style='color:#111;'> 1.47KB </span>","children":null,"spread":false},{"title":"FinalInfo$1.class <span style='color:#111;'> 1.38KB </span>","children":null,"spread":false},{"title":"PrimitiveFieldInfo.class <span style='color:#111;'> 1.38KB </span>","children":null,"spread":false},{"title":"ReferenceFieldInfo.class <span style='color:#111;'> 1.34KB </span>","children":null,"spread":false},{"title":"ArrFieldInfo.class <span style='color:#111;'> 1.31KB </span>","children":null,"spread":false},{"title":"SetManager.class <span style='color:#111;'> 1.18KB </span>","children":null,"spread":false},{"title":"MainWindow$10.class <span style='color:#111;'> 1.12KB </span>","children":null,"spread":false},{"title":"MainWindow$9.class <span style='color:#111;'> 1.03KB </span>","children":null,"spread":false},{"title":"MainWindow$ToolLabel.class <span style='color:#111;'> 1.02KB </span>","children":null,"spread":false},{"title":"PrimitiveVarInfo.class <span style='color:#111;'> 978B </span>","children":null,"spread":false},{"title":"ValueTypePair.class <span style='color:#111;'> 953B </span>","children":null,"spread":false},{"title":"PrimitiveValueTypePair.class <span style='color:#111;'> 951B </span>","children":null,"spread":false},{"title":"ReferenceValueTypePair.class <span style='color:#111;'> 936B </span>","children":null,"spread":false},{"title":"ArrayValueTypePair.class <span style='color:#111;'> 935B </span>","children":null,"spread":false},{"title":"MethodName.class <span style='color:#111;'> 892B </span>","children":null,"spread":false},{"title":"MainWindow$5.class <span style='color:#111;'> 880B </span>","children":null,"spread":false},{"title":"MainWindow$12.class <span style='color:#111;'> 873B </span>","children":null,"spread":false},{"title":"Wrapper.class <span style='color:#111;'> 870B </span>","children":null,"spread":false},{"title":"TestedClassInfoGetter.class <span style='color:#111;'> 861B </span>","children":null,"spread":false},{"title":"MainWindow$7$1.class <span style='color:#111;'> 841B </span>","children":null,"spread":false},{"title":"MainWindow$1.class <span style='color:#111;'> 840B </span>","children":null,"spread":false},{"title":"FieldName2.class <span style='color:#111;'> 826B </span>","children":null,"spread":false},{"title":"Error.class <span style='color:#111;'> 792B </span>","children":null,"spread":false},{"title":"VariableInfo.class <span style='color:#111;'> 790B </span>","children":null,"spread":false},{"title":"MainWindow$6.class <span style='color:#111;'> 734B </span>","children":null,"spread":false},{"title":"FieldName.class <span style='color:#111;'> 724B </span>","children":null,"spread":false},{"title":"ArrayVarInfo.class <span style='color:#111;'> 720B </span>","children":null,"spread":false},{"title":"MainWindow$4.class <span style='color:#111;'> 712B </span>","children":null,"spread":false},{"title":"MainWindow$2.class <span style='color:#111;'> 707B </span>","children":null,"spread":false},{"title":"ReferenceVarInfo.class <span style='color:#111;'> 703B </span>","children":null,"spread":false},{"title":"VTPSequence.class <span style='color:#111;'> 693B </span>","children":null,"spread":false},{"title":"ReturnInfo.class <span style='color:#111;'> 668B </span>","children":null,"spread":false},{"title":"InitialValues.class <span style='color:#111;'> 498B </span>","children":null,"spread":false},{"title":".classpath <span style='color:#111;'> 1.32KB </span>","children":null,"spread":false},{"title":"SEVisitor.java <span style='color:#111;'> 65.67KB </span>","children":null,"spread":false},{"title":"MainWindow.java <span style='color:#111;'> 16.19KB </span>","children":null,"spread":false},{"title":"ClassResolveVisitor.java <span style='color:#111;'> 5.70KB </span>","children":null,"spread":false},{"title":"Function.java <span style='color:#111;'> 5.19KB </span>","children":null,"spread":false},{"title":"FinalInfo.java <span style='color:#111;'> 5.03KB </span>","children":null,"spread":false},{"title":"MethodInvocationVisitor.java <span style='color:#111;'> 5.03KB </span>","children":null,"spread":false},{"title":"MethodInfo.java <span style='color:#111;'> 3.50KB </span>","children":null,"spread":false},{"title":"TestedClassInfoVisitor.java <span style='color:#111;'> 2.92KB </span>","children":null,"spread":false},{"title":"InstanceSet.java <span style='color:#111;'> 1.91KB </span>","children":null,"spread":false},{"title":"FieldInfo.java <span style='color:#111;'> 1.90KB </span>","children":null,"spread":false},{"title":"ClassInfo.java <span style='color:#111;'> 1.70KB </span>","children":null,"spread":false},{"title":"ConstraintInfo.java <span style='color:#111;'> 1.39KB </span>","children":null,"spread":false},{"title":"ClassSet.java <span style='color:#111;'> 1.34KB </span>","children":null,"spread":false},{"title":"ArrArea.java <span style='color:#111;'> 1.33KB </span>","children":null,"spread":false},{"title":"Instance.java <span style='color:#111;'> 1.25KB </span>","children":null,"spread":false},{"title":"InfoUnit.java <span style='color:#111;'> 1.19KB </span>","children":null,"spread":false},{"title":"ASTCreator.java <span style='color:#111;'> 1.17KB </span>","children":null,"spread":false},{"title":"SymbolicExecutor.java <span style='color:#111;'> 1.05KB </span>","children":null,"spread":false},{"title":"PrimitiveFieldInfo.java <span style='color:#111;'> 1.02KB </span>","children":null,"spread":false},{"title":"ReferenceFieldInfo.java <span style='color:#111;'> 1.02KB </span>","children":null,"spread":false},{"title":"MyClassLoader.java <span style='color:#111;'> 1011B </span>","children":null,"spread":false},{"title":"ArrFieldInfo.java <span style='color:#111;'> 981B </span>","children":null,"spread":false},{"title":"InvocationInfo.java <span style='color:#111;'> 874B </span>","children":null,"spread":false},{"title":"PrimitiveValueTypePair.java <span style='color:#111;'> 859B </span>","children":null,"spread":false},{"title":"FieldTable.java <span style='color:#111;'> 848B </span>","children":null,"spread":false},{"title":"MethodTable.java <span style='color:#111;'> 845B </span>","children":null,"spread":false},{"title":"ReferenceValueTypePair.java <span style='color:#111;'> 794B </span>","children":null,"spread":false},{"title":"ArrayValueTypePair.java <span style='color:#111;'> 789B </span>","children":null,"spread":false},{"title":"FieldName2.java <span style='color:#111;'> 778B </span>","children":null,"spread":false},{"title":"MethodName.java <span style='color:#111;'> 726B </span>","children":null,"spread":false},{"title":"ValueTypePair.java <span style='color:#111;'> 706B </span>","children":null,"spread":false},{"title":"SetManager.java <span style='color:#111;'> 699B </span>","children":null,"spread":false},{"title":"VariableInfo.java <span style='color:#111;'> 664B </span>","children":null,"spread":false},{"title":"Wrapper.java <span style='color:#111;'> 661B </span>","children":null,"spread":false},{"title":"PrimitiveVarInfo.java <span style='color:#111;'> 619B </span>","children":null,"spread":false},{"title":"ArrayVarInfo.java <span style='color:#111;'> 560B </span>","children":null,"spread":false},{"title":"FieldName.java <span style='color:#111;'> 544B </span>","children":null,"spread":false},{"title":"ReferenceVarInfo.java <span style='color:#111;'> 530B </span>","children":null,"spread":false},{"title":"ReturnInfo.java <span style='color:#111;'> 487B </span>","children":null,"spread":false},{"title":"......","children":null,"spread":false},{"title":"<span style='color:steelblue;'>文件过多,未全部展示</span>","children":null,"spread":false}],"spread":true}]

评论信息

免责申明

【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明