Branches · educg-net-31547-2721707 / proj248-MemoryIsAllYouCheck-3442

Skip to content

GitLab

Projects Groups Topics Snippets

/

Help
Sign in

P proj248-MemoryIsAllYouCheck-3442
Project information
- Project information
- Activity
- Labels
- Members
Repository
- Repository
- Files
- Commits
- Branches
- Tags
- Contributor statistics
- Graph
- Compare revisions
Issues 0
- Issues 0
- List
- Boards
- Service Desk
- Milestones
Merge requests 0
- Merge requests 0
CI/CD
- CI/CD
- Pipelines
- Jobs
- Schedules
Deployments
- Deployments
- Environments
- Releases
Packages and registries
- Packages and registries
- Package Registry
- Terraform modules
Monitor
- Monitor
- Metrics
- Incidents
Analytics
- Analytics
- Value stream
- CI/CD
- Repository
Wiki
- Wiki
Snippets
- Snippets
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards

Collapse sidebar

educg-net-31547-2721707
proj248-MemoryIsAllYouCheck-3442
Repository
Branches

Overview
Active
Stale
All

main default protected

87f7535d · feat : 上传了收获与困难文档 · Jun 30, 2025

Download source code

zip tar.gz tar.bz2 tar
reference merged

ac3f7c8e · 更新了参考资料。 · Jun 30, 2025

Compare

Download source code

zip tar.gz tar.bz2 tar
doc

7d31f975 · Merge remote-tracking branch 'origin/main' into doc · Jun 29, 2025

Compare

Download source code

zip tar.gz tar.bz2 tar
dev/prob

29a42a20 · add content to doc · Jun 28, 2025

Compare

Download source code

zip tar.gz tar.bz2 tar
test_graph

04d4f29c · 添加了性能测试总表。 · Jun 27, 2025

Compare

Download source code

zip tar.gz tar.bz2 tar
dev/SymbolicExecution merged

59adffc2 · feat:修改BFS为DFS，性能突飞猛进，同时添加Select等指令 · Jun 21, 2025

Compare

Download source code

zip tar.gz tar.bz2 tar
dev/NullPointer merged

ea8044f7 · feat : 添加NullPTR的检测(还有bug) · Jun 18, 2025

Compare

Download source code

zip tar.gz tar.bz2 tar
dev/optimizeFunc merged

ea07666c · test : 修改了juliet的测试脚本和编译功能 · Jun 18, 2025

Compare

Download source code

zip tar.gz tar.bz2 tar
dev/optimizeSym merged

964317b1 · feat : 修改了SymExprFactory改为全局单例，同时完善了二元表达式的优化策略 · Jun 17, 2025

Compare

Download source code

zip tar.gz tar.bz2 tar
dev/checker merged

ac2d62f8 · 修改LOG以支持宏配置 · Jun 12, 2025

Compare

Download source code

zip tar.gz tar.bz2 tar
dev/StaticTest merged

58606b09 · test : 添加了juliet-test-suite-c测试集 · Jun 09, 2025

Compare

Download source code

zip tar.gz tar.bz2 tar
dev/Function merged

c1308e44 · 添加了文档骨架以及LICENSE等，继续完善项目架构 · Jun 04, 2025

Compare

Download source code

zip tar.gz tar.bz2 tar
dev/global merged

504d3e8a · feat : 加入全局变量支持，但是还有很多初始化方式需要考虑 · May 15, 2025

Compare

Download source code

zip tar.gz tar.bz2 tar
dev/Call merged

3647a0df · fix : 修复结构体索引问题，同时修改GEP使用基指针的情况，放宽了判定为基指针的可能，但是可能出现少判(多维数组索引为0时会使用整个size，从而导致无法判断出heapoverflow) · May 14, 2025

Compare

Download source code

zip tar.gz tar.bz2 tar

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code