Skip to content

Commit

Permalink
purge uninitialized state variable
Browse files Browse the repository at this point in the history
  • Loading branch information
TilakMaddy committed Oct 18, 2024
1 parent 7331fe2 commit a883e6b
Show file tree
Hide file tree
Showing 11 changed files with 71 additions and 1,245 deletions.
5 changes: 0 additions & 5 deletions aderyn_core/src/detect/detector.rs
Original file line number Diff line number Diff line change
Expand Up @@ -54,7 +54,6 @@ pub fn get_all_issue_detectors() -> Vec<Box<dyn IssueDetector>> {
Box::<NestedStructInMappingDetector>::default(),
Box::<SelfdestructIdentifierDetector>::default(),
Box::<DynamicArrayLengthAssignmentDetector>::default(),
Box::<UninitializedStateVariableDetector>::default(),
Box::<IncorrectUseOfCaretOperatorDetector>::default(),
Box::<YulReturnDetector>::default(),
Box::<StateVariableShadowingDetector>::default(),
Expand Down Expand Up @@ -169,7 +168,6 @@ pub(crate) enum IssueDetectorNamePool {
NestedStructInMapping,
SelfdestructIdentifier,
DynamicArrayLengthAssignment,
UninitializedStateVariable,
IncorrectCaretOperator,
YulReturn,
StateVariableShadowing,
Expand Down Expand Up @@ -375,9 +373,6 @@ pub fn request_issue_detector_by_name(detector_name: &str) -> Option<Box<dyn Iss
Some(Box::<DynamicArrayLengthAssignmentDetector>::default())
}

IssueDetectorNamePool::UninitializedStateVariable => {
Some(Box::<UninitializedStateVariableDetector>::default())
}
IssueDetectorNamePool::IncorrectCaretOperator => {
Some(Box::<IncorrectUseOfCaretOperatorDetector>::default())
}
Expand Down
2 changes: 0 additions & 2 deletions aderyn_core/src/detect/high/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,6 @@ pub(crate) mod tautology_or_contradiction;
pub(crate) mod tx_origin_used_for_auth;
pub(crate) mod unchecked_calls;
pub(crate) mod unchecked_send;
pub(crate) mod uninitialized_state_variable;
pub(crate) mod unprotected_init_function;
pub(crate) mod unsafe_casting;
pub(crate) mod weak_randomness;
Expand Down Expand Up @@ -74,7 +73,6 @@ pub use tautology_or_contradiction::TautologyOrContraditionDetector;
pub use tx_origin_used_for_auth::TxOriginUsedForAuthDetector;
pub use unchecked_calls::UncheckedLowLevelCallDetector;
pub use unchecked_send::UncheckedSendDetector;
pub use uninitialized_state_variable::UninitializedStateVariableDetector;
pub use unprotected_init_function::UnprotectedInitializerDetector;
pub use unsafe_casting::UnsafeCastingDetector;
pub use weak_randomness::WeakRandomnessDetector;
Expand Down
145 changes: 0 additions & 145 deletions aderyn_core/src/detect/high/uninitialized_state_variable.rs

This file was deleted.

40 changes: 1 addition & 39 deletions reports/adhoc-sol-files-highs-only-report.json

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

52 changes: 5 additions & 47 deletions reports/adhoc-sol-files-report.md

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

26 changes: 1 addition & 25 deletions reports/ccip-functions-report.md

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading

0 comments on commit a883e6b

Please sign in to comment.