Skip to content
Navigation Menu
Sign in
Products
Platform
GitHub
Repository hosting, code review, and collaboration
Copilot
AI coding agent for tasks, projects, and automated work
Build & Ship
Actions
CI/CD and automation
Code Quality
Quality analysis, fixes, and enforcement
Codespaces
Cloud development environments
Secure
Code Security
Vulnerability detection and remediation
Secret Protection
Secret scanning and leak prevention
All Features
Developers
Learn
Documentation
Training
Certifications
Build
Build with Copilot
Customize Copilot
Integrations
Explore
Trending repos
GitHub Sponsors
Developer articles
Changelog
Changelog
Your source for the latest features, improvements, and fixes across GitHub products, all in one place.
Businesses
By Stage
Enterprises
Team
Startups
Nonprofits
By Industry
Healthcare
Financial services
Manufacturing
Government
See all industries
Evaluate GitHub
Why GitHub
Customer Stories
Business insights
Trust Center
Add-ons
GitHub Advanced Security
Enterprise-grade code security
Copilot for business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Resources
Learn & Connect
Documentation
Resource center
Blog
Events & webinars
Community Forum
Customer Stories
Integrations
Support
Customer support
Training
GitHub Status
Company
About
Partners
Changelog
GitHub Universe
GitHub Universe
The event for developers, by developers — talks, workshops, and what’s next for GitHub.
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
uni-due-syssec
efcf-framework
Repository navigation
Code
Issues
1
(1)
Pull requests
Discussions
Actions
Security and quality
Insights
More
items
Files
Expand file tree
main
Breadcrumbs
efcf-framework
/
data
/
tests
/
Copy path
Directory actions
More options
More options
Directory actions
More options
More options
Latest commit
History
History
History
main
Breadcrumbs
efcf-framework
/
data
/
tests
/
Copy path
Top
Folders and files
Name
Name
Last commit message
Last commit date
parent directory
..
unsupported
unsupported
.gitignore
.gitignore
BuggyToken.sol
BuggyToken.sol
CrossFunctionToken.sol
CrossFunctionToken.sol
Delegatecall.sol
Delegatecall.sol
DonationChallenge.sol
DonationChallenge.sol
FiftyYearsChallenge.sol
FiftyYearsChallenge.sol
GuessTheNumberChallenge.sol
GuessTheNumberChallenge.sol
GuessTheNumberChallengeMod1.sol
GuessTheNumberChallengeMod1.sol
GuessTheRandomNumberChallenge.sol
GuessTheRandomNumberChallenge.sol
GuessTheRandomNumberChallengeMod.sol
GuessTheRandomNumberChallengeMod.sol
GuessTheSecretNumberChallenge.sol
GuessTheSecretNumberChallenge.sol
GuessTheSecretNumberChallengeMod.sol
GuessTheSecretNumberChallengeMod.sol
Makefile
Makefile
NoCodeCallReturns.sol
NoCodeCallReturns.sol
ParityWalletBugCall.sol
ParityWalletBugCall.sol
ParityWalletBugCallArg.sol
ParityWalletBugCallArg.sol
ParityWalletBugSuicide.sol
ParityWalletBugSuicide.sol
ParityWalletBugSuicideWithRequire.sol
ParityWalletBugSuicideWithRequire.sol
PredictTheBlockHashChallenge.sol
PredictTheBlockHashChallenge.sol
PredictTheFutureChallenge.sol
PredictTheFutureChallenge.sol
ReentrancyBuggyLock2.sol
ReentrancyBuggyLock2.sol
ReentrancyDeepCrossFunction.sol
ReentrancyDeepCrossFunction.sol
ReentrancyDeepCrossFunctionMultiAttacker.sol
ReentrancyDeepCrossFunctionMultiAttacker.sol
ReentrancyDeepCrossFunctionMultiAttackerLevels.sol
ReentrancyDeepCrossFunctionMultiAttackerLevels.sol
ReentrancyDeepCrossFunctionSelfdestruct.sol
ReentrancyDeepCrossFunctionSelfdestruct.sol
ReentrancyRegisterCallback.sol
ReentrancyRegisterCallback.sol
ReentrancyReturnDataCheck.sol
ReentrancyReturnDataCheck.sol
ReentrancyVulnBankBuggyLock.sol
ReentrancyVulnBankBuggyLock.sol
ReentrancyVulnBankBuggyLockHard.sol
ReentrancyVulnBankBuggyLockHard.sol
RetirementFundChallenge.sol
RetirementFundChallenge.sol
ReturnDataCheck.sol
ReturnDataCheck.sol
ReturnDataCheck2.sol
ReturnDataCheck2.sol
ReturnDataCheck3.sol
ReturnDataCheck3.sol
ReturnDataCheck4.sol
ReturnDataCheck4.sol
ReturnDataCheck5.sol
ReturnDataCheck5.sol
ReturnDataCheck6.sol
ReturnDataCheck6.sol
ReturnDataCheck7.sol
ReturnDataCheck7.sol
ReturnDataCheckMultiple.sol
ReturnDataCheckMultiple.sol
SimpleDAO.sol
SimpleDAO.sol
SimpleDAONoBranch.sol
SimpleDAONoBranch.sol
SimpleDAORequire.sol
SimpleDAORequire.sol
SpankchainLedgerChannel.sol
SpankchainLedgerChannel.sol
Suicidal.sol
Suicidal.sol
SuicidalDoSOnly.sol
SuicidalDoSOnly.sol
SuicidalWithCondition.sol
SuicidalWithCondition.sol
SuicidalWithMagicValueCondition.sol
SuicidalWithMagicValueCondition.sol
TokenWhaleChallenge.sol
TokenWhaleChallenge.sol
UnconditionalReentrancyVulnBank.sol
UnconditionalReentrancyVulnBank.sol
arbitrary_location_write_simple.attack.yml
arbitrary_location_write_simple.attack.yml
arbitrary_location_write_simple.sol
arbitrary_location_write_simple.sol
baby_bank.sol
baby_bank.sol
baby_bank_mod.sol
baby_bank_mod.sol
basic.sol
basic.sol
basic_hard.sol
basic_hard.sol
boolean_selector.sol
boolean_selector.sol
boom_suicidal.sol
boom_suicidal.sol
boom_suicidal_hard.sol
boom_suicidal_hard.sol
calldata1.sol
calldata1.sol
calldata2.sol
calldata2.sol
calldata3.sol
calldata3.sol
calldata4.sol
calldata4.sol
callvalue.sol
callvalue.sol
callvalue2.sol
callvalue2.sol
callvalue3.sol
callvalue3.sol
crowdsale_mod.sol
crowdsale_mod.sol
crypto_roulette_exploitable.sol
crypto_roulette_exploitable.sol
crytic_complex_example.sol
crytic_complex_example.sol
cstate.sol
cstate.sol
cstate_req.sol
cstate_req.sol
dispenser.sol
dispenser.sol
harvey_baz.sol
harvey_baz.sol
harvey_foo.sol
harvey_foo.sol
initbalance.sol
initbalance.sol
initbalance2.sol
initbalance2.sol
integer_overflow.sol
integer_overflow.sol
justlen128.sol
justlen128.sol
keccak2.sol
keccak2.sol
keccak3.sol
keccak3.sol
keccak3nopure.sol
keccak3nopure.sol
keccak4.sol
keccak4.sol
modifier_reentrancy.sol
modifier_reentrancy.sol
modifier_reentrancy_mod.sol
modifier_reentrancy_mod.sol
modifier_reentrancy_mod2.sol
modifier_reentrancy_mod2.sol
modifier_reentrancy_mod3.sol
modifier_reentrancy_mod3.sol
multi.sol
multi.sol
multi_hard.sol
multi_hard.sol
mutual_data_dep.sol
mutual_data_dep.sol
number_constraints.sol
number_constraints.sol
number_equals_computed_constant.sol
number_equals_computed_constant.sol
number_equals_computed_constant_large.sol
number_equals_computed_constant_large.sol
number_equals_computed_constant_large_datatype.sol
number_equals_computed_constant_large_datatype.sol
number_equals_computed_constant_large_require.sol
number_equals_computed_constant_large_require.sol
number_equals_constant.sol
number_equals_constant.sol
number_equals_constant_large.sol
number_equals_constant_large.sol
number_equals_storage.sol
number_equals_storage.sol
number_equals_storage_hashed.sol
number_equals_storage_hashed.sol
number_equals_storage_large.sol
number_equals_storage_large.sol
number_equals_storage_require.sol
number_equals_storage_require.sol
number_equals_storage_small.sol
number_equals_storage_small.sol
View all files
You can’t perform that action at this time.