Skip to content
GitLab
Explore
Sign in
educg-net-31547-2721707
proj248-MemoryIsAllYouCheck-3206
Repository
Branches
Overview
Active
Stale
All
main
default
protected
87f7535d
·
feat : 上传了收获与困难文档
·
Jun 30, 2025
reference
ac3f7c8e
·
更新了参考资料。
·
Jun 30, 2025
doc
7d31f975
·
Merge remote-tracking branch 'origin/main' into doc
·
Jun 29, 2025
dev/prob
29a42a20
·
add content to doc
·
Jun 28, 2025
test_graph
04d4f29c
·
添加了性能测试总表。
·
Jun 27, 2025
dev/SymbolicExecution
59adffc2
·
feat:修改BFS为DFS，性能突飞猛进，同时添加Select等指令
·
Jun 21, 2025
dev/NullPointer
ea8044f7
·
feat : 添加NullPTR的检测(还有bug)
·
Jun 18, 2025
dev/optimizeFunc
ea07666c
·
test : 修改了juliet的测试脚本和编译功能
·
Jun 18, 2025
dev/optimizeSym
964317b1
·
feat : 修改了SymExprFactory改为全局单例，同时完善了二元表达式的优化策略
·
Jun 17, 2025
dev/checker
ac2d62f8
·
修改LOG以支持宏配置
·
Jun 12, 2025
dev/StaticTest
58606b09
·
test : 添加了juliet-test-suite-c测试集
·
Jun 09, 2025
dev/Function
c1308e44
·
添加了文档骨架以及LICENSE等，继续完善项目架构
·
Jun 04, 2025
dev/global
504d3e8a
·
feat : 加入全局变量支持，但是还有很多初始化方式需要考虑
·
May 15, 2025
dev/Call
3647a0df
·
fix : 修复结构体索引问题，同时修改GEP使用基指针的情况，放宽了判定为基指针的可能，但是可能出现少判(多维数组索引为0时会使用整个size，从而导致无法判断出heapoverflow)
·
May 14, 2025