Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Abstract contract property #1679

Merged
merged 7 commits into from
Mar 17, 2023
Merged

Abstract contract property #1679

merged 7 commits into from
Mar 17, 2023

Conversation

bsamuels453
Copy link
Contributor

This PR adds an "is_abstract" property to the contract class. Without this class property, detectors can only check for abstractness by verifying all of the functions have implementations.

@CLAassistant
Copy link

CLAassistant commented Feb 22, 2023

CLA assistant check
All committers have signed the CLA.

@montyly montyly mentioned this pull request Feb 25, 2023
slither/core/declarations/contract.py Outdated Show resolved Hide resolved
@bsamuels453 bsamuels453 requested a review from montyly March 6, 2023 19:14
@0xalpharush
Copy link
Contributor

It'd be nice to have test cases to known when this will return True both for the compact and legacy AST.

@montyly
Copy link
Member

montyly commented Mar 10, 2023

Note: this is currently failing because of #1741

@montyly montyly merged commit d35b10b into dev Mar 17, 2023
@montyly montyly deleted the abstract-contract branch March 17, 2023 15:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants