angelix:用于C程序的语义程序修复系统
需积分: 8 167 浏览量
2021-05-03
07:21:08
上传
评论
收藏 577KB ZIP 举报
angelix:用于C程序的语义程序修复系统 （362个子文件） 
activate 4KB angelix 190B angelix-compiler 6KB angelix-eval 45B angelix-patch-bitcode 2KB angelix-run-klee 2KB angelix-run-test 384B bear 220B runtime.c 18KB test.c 2KB test.c 517B test.c 485B test.c 450B test.c 397B test.c 366B test.c 363B test.c 351B test.c 347B test.c 343B test.c 343B test.c 342B test.c 342B test.c 314B test.c 278B test.c 274B test.c 274B test.c 265B test.c 254B test.c 206B test.c 205B log4perl.conf 565B InstrumentSuspicious.cpp 22KB InstrumentPrintf.cpp 14KB InstrumentRepairable.cpp 6KB SMTLIB2.cpp 6KB ApplyPatch.cpp 5KB Dockerfile 3KB .dockerignore 5B .gitignore 39B .gitignore 26B .gitignore 16B .gitmodules 190B AngelixCommon.h 11KB InstrumentPrintf.h 9KB runtime.h 3KB SMTLIB2.h 48B
package.html 4KB package.html 471B package.html 406B package.html 381B package.html 341B package.html 206B package.html 93B input-neg1 19B input-pos1 11B input-pos2 10B input-pos3 15B Solver_cvc.java 43KB Parser.java 40KB SMT.java 36KB Solver_simplify.java 33KB TreeBoundedEncoder.java 32KB TypeChecker.java 31KB Solver_z3_4_3.java 30KB Solver_yices.java 30KB Lexer.java 26KB Solver_test.java 23KB Utils.java 21KB SMTExpr.java 20KB Solver_yices2.java 19KB Printer.java 17KB SymbolTable.java 17KB Sort.java 16KB IVisitor.java 15KB Solver_cvc4.java 15KB TestTreeBoundedSynthesis.java 14KB Z3.java 13KB Solver_smt.java 13KB Utils.java 11KB Simplifier.java 11KB TestPatchSynthesis.java 11KB IExpr.java 11KB Traverse.java 11KB TypeInference.java 10KB SolverProcess.java 10KB Response.java 9KB Cardinality.java 9KB Unifier.java 9KB TestAngelixSynthesis.java 8KB TypeCorrector.java 8KB IParser.java 8KB ICommand.java 8KB ISort.java 8KB Solver_z3_2_11.java 8KB Log.java 8KB Factory.java 7KB AbstractSolver.java 7KB CharSequenceInfinite.java 7KB Driver.java 6KB ISolver.java 6KB共 362 条
- 1
- 2
- 3
- 4
资源评论
Fl4me
- 粉丝: 36
- 资源: 4600
最新资源
- WebCrawler.scr
- 【计算机专业毕业设计】大学生就业信息管理系统设计源码.zip
- YOLO 数据集：8种路面缺陷病害检测【包含划分好的数据集、类别class文件、数据可视化脚本】
- JAVA实现Modbus RTU或Modbus TCPIP案例.zip
- 基于YOLOv8的FPS TPS AI自动锁定源码+使用步骤说明.zip
- JAVA实现Modbus RTU或Modbus TCPIP案例.zip
- 基于yolov8+streamlit的火灾检测部署源码+模型.zip
- 测试aaaaaaabbbbb
- VID20240521070643.mp4
- Android系统原理与开发学习要点详解-培训课件.zip
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
