一个很好的程序分析工具，支持刘敏感分析。采用类型推断和约束求解的方法，代表了一种程序分析的流派。在PLDI上发表过文章！ -Cqual is a type-based analysis tool that provides a lightweight, practical mechanism for specifying and checking properties of C programs. Cqual extends the type system of C with extra use

Check Function Name Source Code for Linux.

哈希链表 为每个Hash值，建立一个Hash桶(Bucket)，桶的容量是固定的，也就是只能处理固定次数的冲突，如1048576个Hash桶，每个桶中有4个表项(Entry)，总计4M个表项。其实这两种的实现思路雷同，就是对Hash表中每个Hash值建立一个冲突表，即将冲突的几个记录以表的形式存储在其中；- * strmap version 2.0.1 * * ANSI C hash table for strings. * * Version hist