一个很好的程序分析工具，支持刘敏感分析。采用类型推断和约束求解的方法，代表了一种程序分析的流派。在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

显示本机开启的服务，包括服务名称、注释、启动状态、启动类别、程序路径等。右键服务，可以启动、停止、删除、创建服务，还可以更改服务启动类别。-Show the unit is turned on the service, including service name, comment, start state, start the class, the program paths. Right Service, you can start, stop, delete, create a servi

该程序遍历了源点到终点的所有路径，能够所搜得到所有的路径并写入到记事本中，在图论中有广泛的应用。-The program traverses all the paths of the source point to the end point, be able to search to get all of the paths and written into Notepad, and a wide range of applications in graph theory.