-
Notifications
You must be signed in to change notification settings - Fork 4
Expand file tree
/
Copy pathpyproject.toml
More file actions
102 lines (92 loc) · 2.39 KB
/
Copy pathpyproject.toml
File metadata and controls
102 lines (92 loc) · 2.39 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
[build-system]
requires = ["setuptools>=61.0", "wheel"]
build-backend = "setuptools.build_meta"
[project]
name = "frame"
dynamic = ["version"]
description = "Frame - Separation Logic Verification Tool with Security Scanning"
readme = "README.md"
license = {text = "Apache-2.0"}
requires-python = ">=3.10"
authors = [
{name = "codelion"}
]
keywords = [
"separation-logic",
"formal-verification",
"security",
"static-analysis",
"vulnerability-detection",
"smt",
"z3"
]
classifiers = [
"Development Status :: 4 - Beta",
"Environment :: Console",
"Intended Audience :: Developers",
"Intended Audience :: Science/Research",
"License :: OSI Approved :: Apache Software License",
"Operating System :: OS Independent",
"Programming Language :: Python :: 3",
"Programming Language :: Python :: 3.10",
"Programming Language :: Python :: 3.11",
"Programming Language :: Python :: 3.12",
"Programming Language :: Python :: 3.13",
"Topic :: Scientific/Engineering",
"Topic :: Security",
"Topic :: Software Development :: Quality Assurance",
"Topic :: Software Development :: Testing",
]
dependencies = [
"z3-solver>=4.8.0",
]
[project.optional-dependencies]
scan = [
"tree-sitter>=0.21.0",
"tree-sitter-python>=0.21.0",
]
dev = [
"pytest>=7.0.0",
"pytest-cov>=4.0.0",
"requests>=2.25.0",
"zstandard>=0.22.0",
]
all = [
"tree-sitter>=0.21.0",
"tree-sitter-python>=0.21.0",
"pytest>=7.0.0",
"pytest-cov>=4.0.0",
"requests>=2.25.0",
"zstandard>=0.22.0",
]
[project.scripts]
frame = "frame.cli:main"
[project.urls]
Homepage = "https://github.com/lambdasec/frame"
Documentation = "https://github.com/lambdasec/frame#readme"
Repository = "https://github.com/lambdasec/frame"
Issues = "https://github.com/lambdasec/frame/issues"
[tool.setuptools.packages.find]
where = ["."]
include = ["frame*"]
[tool.setuptools.dynamic]
version = {attr = "frame.__version__"}
[tool.pytest.ini_options]
testpaths = ["tests"]
python_files = ["test_*.py"]
python_classes = ["Test*"]
python_functions = ["test_*"]
addopts = "-v --tb=short"
filterwarnings = [
"ignore::pytest.PytestCollectionWarning",
]
[tool.coverage.run]
source = ["frame"]
omit = ["tests/*", "benchmarks/*"]
[tool.coverage.report]
exclude_lines = [
"pragma: no cover",
"def __repr__",
"raise NotImplementedError",
"if __name__ == .__main__.:",
]