文件名称：SPARTA是一个提供基于抽象解释构建高性能静态代码分析器的基本模块的库。-C/C++开发
文件大小：207KB
文件格式：ZIP
更新时间：2024-06-15 16:50:56
C/C++ Static Code Analysis
SPARTA是一个提供基于抽象解释构建高性能静态代码分析器的基本模块的库。 SPARTA SPARTA是一个软件组件库，专门用于根据抽象解释理论构建高性能静态分析仪。 抽象解释抽象解释是一种语义近似理论，为静态程序分析器的设计提供了基础框架。 遵循抽象解释方法构建的静态分析器在数学上是可靠的，即，保证它们所计算的语义信息能够
【文件预览】：
SPARTA-master
----.clang-format(1KB)
----.gitignore(86B)
----run_all_tests.sh(698B)
----CONTRIBUTING.md(2KB)
----CODE_OF_CONDUCT.md(3KB)
----LICENSE(1KB)
----get_boost.sh(627B)
----README.md(5KB)
----include()
--------ConstantAbstractDomain.h(4KB)
--------PatriciaTreeMapAbstractEnvironment.h(9KB)
--------WeakPartialOrdering.h(21KB)
--------WeakTopologicalOrdering.h(12KB)
--------Arity.h(2KB)
--------SmallSortedSetAbstractDomain.h(5KB)
--------IntervalDomain.h(7KB)
--------ReducedProductAbstractDomain.h(8KB)
--------PatriciaTreeMapAbstractPartition.h(6KB)
--------FiniteAbstractDomain.h(17KB)
--------PatriciaTreeSet.h(34KB)
--------SpartaWorkQueue.h(11KB)
--------AbstractDomain.h(21KB)
--------PowersetAbstractDomain.h(6KB)
--------SparseSetAbstractDomain.h(7KB)
--------HashedSetAbstractDomain.h(5KB)
--------PatriciaTreeOverUnderSetAbstractDomain.h(7KB)
--------LiftedDomain.h(5KB)
--------FixpointIterator.h(5KB)
--------PatriciaTreeMap.h(43KB)
--------PatriciaTreeSetAbstractDomain.h(4KB)
--------HashedAbstractEnvironment.h(13KB)
--------DisjointUnionAbstractDomain.h(10KB)
--------S_Expression.h(24KB)
--------MonotonicFixpointIterator.h(27KB)
--------HashedAbstractPartition.h(9KB)
--------FlatSet.h(6KB)
--------Exceptions.h(1KB)
--------PatriciaTreeUtil.h(1KB)
--------DirectProductAbstractDomain.h(9KB)
--------Analyzer.h(10KB)
----cmake_modules()
--------Commons.cmake(4KB)
--------gtest.cmake.in(539B)
----.circleci()
--------config.yml(1KB)
----SPARTA.png(74KB)
----test()
--------SmallSortedSetAbstractDomainTest.cpp(7KB)
--------ReducedProductAbstractDomainTest.cpp(6KB)
--------LiftedDomainTest.cpp(1KB)
--------WeakTopologicalOrderingTest.cpp(7KB)
--------SparseSetAbstractDomainTest.cpp(5KB)
--------PatriciaTreeSetAbstractDomainTest.cpp(7KB)
--------AbstractDomainPropertyTest.h(6KB)
--------PatriciaTreeMapTest.cpp(7KB)
--------MonotonicFixpointIteratorTest.cpp(28KB)
--------IntervalDomainTest.cpp(4KB)
--------DisjointUnionAbstractDomainTest.cpp(2KB)
--------SetTest.cpp(8KB)
--------HashedSetAbstractDomainTest.cpp(5KB)
--------FiniteAbstractDomainTest.cpp(4KB)
--------PatriciaTreeMapAbstractEnvironmentTest.cpp(9KB)
--------PatriciaTreeOverUnderSetAbstractDomainTest.cpp(21KB)
--------SpartaWorkQueueTest.cpp(2KB)
--------InterproceduralAnalyzerTest.cpp(20KB)
--------HashedAbstractPartitionTest.cpp(6KB)
--------S_ExpressionTest.cpp(8KB)
--------WeakPartialOrderingTest.cpp(42KB)
--------HashedAbstractEnvironmentTest.cpp(6KB)
--------PatriciaTreeMapAbstractPartitionTest.cpp(8KB)
--------DirectProductAbstractDomainTest.cpp(5KB)
----CMakeLists.txt(2KB)