Package Health Score

65 / 100

security
No known security issues
popularity
Small
maintenance
Inactive
community
Sustainable

Explore Similar Packages

tara
45

Popularity

Small

GitHub Stars: 62
Forks: 14
Contributors: 20

Direct Usage Popularity

Based on project statistics from the GitHub repository for the PyPI package tealer, we found that it has been starred 62 times.

Security

No known security issues

Security and license risk for latest version

Release Date: Feb 8, 2024
Direct Vulnerabilities: 0
C
0
H
0
M
0
L
Indirect Vulnerabilities: 0
C
0
H
0
M
0
L
License Risk: 0
H
0
M
0
L

All security vulnerabilities belong to production dependencies of direct and indirect packages.

License

AGPL-3.0

Non-Permissive License

We noticed that this project uses a license which requires less permissive conditions such as disclosing the source code, stating changes or redistributing the source under the same license. It is advised to further consult the license terms before use.

Security Policy

We found a way for you to contribute to the project! Looks like tealer is missing a security policy.

You can connect your project's repository to Snyk to stay up to date on security alerts and receive automatic fix pull requests.

Keep your project free of vulnerabilities with Snyk

Maintenance

Inactive

Commit Frequency

Open Issues: 38
Open PR: 4
Last Release: 11 months ago
Last Commit: 11 months ago

Further analysis of the maintenance status of tealer based on released PyPI versions cadence, the repository activity, and other data points determined that its maintenance is Inactive.

We found that tealer demonstrates a positive version release cadence with at least one new version released in the past 12 months.

In the past month we didn't find any pull request activity or change in issues status has been detected for the GitHub repository.

Community

Sustainable

Readme: Yes
Contributing.md: Yes
Code of Conduct: No
Contributors: 20
Funding: No

With more than 10 contributors for the tealer repository, this is possibly a sign for a growing and inviting community.

We found a way for you to contribute to the project! Looks like tealer is missing a Code of Conduct.

Embed Package Health Score Badge

Keep your project healthy

Check your requirements.txt

Ensure all the packages you're using are healthy and well-maintained

Snyk Vulnerability Scanner

Get health score & security insights directly in your IDE

Package

Python Versions Compatibility: >=3.9

Age: 1 year
Latest Release: 11 months ago
Dependencies: 5 Direct
Versions: 3
Maintainers: 0
Wheels: OS Independent

Readme

Tealer

Tealer is a static analyzer for Teal code. It parses the Teal program, and builds its CFG. The analyzer comes with a set of vulnerabilities detectors and printers allowing to quickly review the contracts. In addition, tealer allows for custom path discovery through regular expression, and can be configured to follow the group information of the application.

Usage
- Detectors: Vulnerabilities detectors
- Printers: Visual information
- Regular expression: Regular expression engine
How to install
Group configuration

Usage

To detect vulnerabilities

tealer detect --contracts file.teal

To run a printer

tealer print  --contracts file.teal

To run the regular expression engine

tealer regex  --contracts file.teal

For additional configuration, see the Usage documentation.

Detectors

Num	Detector	What it detects	Applies To	Impact	Confidence
1	`is-deletable`	Deletable Applications	Stateful	High	High
2	`is-updatable`	Upgradable Applications	Stateful	High	High
3	`unprotected-deletable`	Unprotected Deletable Applications	Stateful	High	High
4	`unprotected-updatable`	Unprotected Upgradable Applications	Stateful	High	High
5	`group-size-check`	Usage of absolute indexes without validating GroupSize	Stateless, Stateful	High	High
6	`can-close-account`	Missing CloseRemainderTo field Validation	Stateless	High	High
7	`can-close-asset`	Missing AssetCloseTo Field Validation	Stateless	High	High
8	`missing-fee-check`	Missing Fee Field Validation	Stateless	High	High
9	`rekey-to`	Rekeyable Logic Signatures	Stateless	High	High
10	`constant-gtxn`	Unoptimized Gtxn	Stateless	Optimization	High
11	`self-access`	Unoptimized self access	Stateless	Optimization	High
12	`sender-access`	Unoptimized Gtxn	Stateless	Optimization	High

For more information, see

The Detector Documentation for information on each detector
The Detection Selection to run only selected detectors. By default, all the detectors are ran.

Printers

Num	Printer	What it prints
1	`call-graph`	Export the call graph of contract to a dot file
2	`cfg`	Export the CFG of entire contract
3	`human-summary`	Print a human-readable summary of the contract
4	`subroutine-cfg`	Export the CFG of each subroutine
5	`transaction-context`	Output possible values of GroupIndices, GroupSize

Printers output dot files. Use xdot to open the files (sudo apt install xdot).

Regular expression

Tealer can detect if there is a path between a given label and a set of instruction using the regex subcommand: tealer regex regex.txt --contracts file.teal.

The Regular expression file must be on the form:

label =&gt;
  ins1
  ins2

If there is a match, tealer will generate a DOT file with the graph.

For an example, run tealer regex tests/regex/regex.txt --contract tests/regex/vote_approval.teal, with:

Which will generate regex_result.dot.

How to install

pip3 install tealer

Using Git

git clone https://github.com/crytic/tealer.git &amp;&amp; cd tealer
make dev

Group configuration

To help tealer reasons about applications that are meant to be run in a group of transaction, the user can provide the group information through a configuration file:

See the ANS configuration example
See Lightweight group information specification discussion.

The file format is still in development, and it is likely to evolve in the future

License

Tealer is licensed and distributed under the AGPLv3 license. Contact us if you're looking for an exception to the terms.

tealer dependencies

prettytable py-algorand-sdk pycryptodomex pyyaml requests

FAQs

What is tealer?

Teal analyzer. Visit Snyk Advisor to see a full health score report for tealer, including popularity, security, maintenance & community analysis.

Is tealer popular?

The python package tealer receives a total of 1,565 weekly downloads. As such, tealer popularity was classified as small. Visit the popularity section on Snyk Advisor to see the full health analysis.

Is tealer well maintained?

We found indications that tealer is an Inactive project. See the full package health analysis to learn more about the package maintenance status.

Is tealer safe to use?

The python package tealer was scanned for known vulnerabilities and missing license, and no issues were found. Thus the package was deemed as safe to use. See the full health analysis review.

Last updated on 20 December-2024, at 12:50 (UTC).

Build a secure application checklist

Select a recommended open source package

Minimize your risk by selecting secure & well maintained open source packages

DONE

Scan your app for vulnerabilities

Scan your application to find vulnerabilities in your: source code, open source dependencies, containers and configuration files

SCAN NOW

Fix identified vulnerabilities

Easily fix your code by leveraging automatically generated PRs

AUTO FIX

Monitor for new issues

New vulnerabilities are discovered every day. Get notified if your application is affected

MONITOR APP

tealer

Teal analyzer. For more information about how to use this package see README

Ensure you're using the healthiest python packages

Package Health Score

Explore Similar Packages

Popularity

Direct Usage Popularity

Security

Security and license risk for latest version

Non-Permissive License

Maintenance

Commit Frequency

Community

Embed Package Health Score Badge

Keep your project healthy

Check your requirements.txt

Snyk Vulnerability Scanner

Package

Readme

Tealer

Usage

Detectors

Printers

Regular expression

How to install

Using Git

Group configuration

License

tealer dependencies

FAQs

What is tealer?

Is tealer popular?

Is tealer well maintained?

Is tealer safe to use?

Build a secure application checklist

Select a recommended open source package

Scan your app for vulnerabilities

Fix identified vulnerabilities

Monitor for new issues

Package Health Score

Explore Similar Packages

Direct Usage Popularity

Security and license risk for latest version

Commit Frequency

Embed Package Health Score Badge

Keep your project healthy

Check your requirements.txt

Snyk Vulnerability Scanner

Readme

Tealer

Usage

Detectors

Printers

Regular expression

How to install

Using Git

Group configuration

License

tealer dependencies

FAQs

What is tealer?

Is tealer popular?

Is tealer well maintained?

Is tealer safe to use?

Build a secure application checklist

Select a recommended open source package

Scan your app for vulnerabilities

Source Code

Open Source

Container

Config

Fix identified vulnerabilities

Monitor for new issues