3C基于Clang工具链实现与评估

3C基于Clang工具链实现,在包含11个大型程序(总计371K LoC)的测试集中表现优异:

boun3c:上下文敏感的边界推断