Skip to content
GitLab
Explore
Sign in
educg-net-31547-2721707
proj248-MemoryIsAllYouCheck-3521
Repository
Branches
Overview
Active
Stale
All
Stale branches
dev/Call
3647a0df
·
fix : 修复结构体索引问题，同时修改GEP使用基指针的情况，放宽了判定为基指针的可能，但是可能出现少判(多维数组索引为0时会使用整个size，从而导致无法判断出heapoverflow)
·
May 14, 2025
dev/global
504d3e8a
·
feat : 加入全局变量支持，但是还有很多初始化方式需要考虑
·
May 15, 2025
dev/Function
c1308e44
·
添加了文档骨架以及LICENSE等，继续完善项目架构
·
Jun 04, 2025
dev/StaticTest
58606b09
·
test : 添加了juliet-test-suite-c测试集
·
Jun 09, 2025
dev/checker
ac2d62f8
·
修改LOG以支持宏配置
·
Jun 12, 2025