文件名称：cpp-SPARTA基于抽象解释的高性能静态代码分析器
文件大小：158KB
文件格式：ZIP
更新时间：2022-09-04 05:23:40
C/C 开发-静态代码分析
SPARTA is a library that provides the basic blocks for building high-performance static code analyzers based on Abstract Interpretation.
【文件预览】：
SPARTA-master
----test()
--------PatriciaTreeMapTest.cpp(3KB)
--------HashedAbstractEnvironmentTest.cpp(6KB)
--------DisjointUnionAbstractDomainTest.cpp(2KB)
--------HashedSetAbstractDomainTest.cpp(4KB)
--------PatriciaTreeMapAbstractEnvironmentTest.cpp(9KB)
--------SparseSetAbstractDomainTest.cpp(4KB)
--------S_ExpressionTest.cpp(8KB)
--------ReducedProductAbstractDomainTest.cpp(6KB)
--------WeakTopologicalOrderingTest.cpp(7KB)
--------AbstractDomainPropertyTest.h(6KB)
--------FiniteAbstractDomainTest.cpp(4KB)
--------MonotonicFixpointIteratorTest.cpp(13KB)
--------PatriciaTreeSetTest.cpp(9KB)
--------PatriciaTreeSetAbstractDomainTest.cpp(6KB)
--------HashedAbstractPartitionTest.cpp(6KB)
--------PatriciaTreeMapAbstractPartitionTest.cpp(5KB)
----get_boost.sh(217B)
----include()
--------S_Expression.h(24KB)
--------SparseSetAbstractDomain.h(7KB)
--------WeakTopologicalOrdering.h(11KB)
--------FixpointIterator.h(5KB)
--------PatriciaTreeSet.h(31KB)
--------PatriciaTreeMapAbstractPartition.h(6KB)
--------PatriciaTreeMapAbstractEnvironment.h(9KB)
--------PatriciaTreeMap.h(36KB)
--------FiniteAbstractDomain.h(19KB)
--------Exceptions.h(1KB)
--------DisjointUnionAbstractDomain.h(10KB)
--------PatriciaTreeUtil.h(920B)
--------PatriciaTreeSetAbstractDomain.h(4KB)
--------ReducedProductAbstractDomain.h(13KB)
--------MonotonicFixpointIterator.h(12KB)
--------AbstractDomain.h(21KB)
--------PowersetAbstractDomain.h(6KB)
--------ConstantAbstractDomain.h(4KB)
--------HashedAbstractPartition.h(8KB)
--------HashedSetAbstractDomain.h(4KB)
--------HashedAbstractEnvironment.h(12KB)
----LICENSE(1KB)
----CONTRIBUTING.md(2KB)
----cmake_modules()
--------Commons.cmake(4KB)
--------gtest.cmake.in(361B)
----SPARTA.png(74KB)
----.clang-format(1KB)
----.gitignore(86B)
----CMakeLists.txt(2KB)
----CODE_OF_CONDUCT.md(249B)
----README.md(5KB)