Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
Accelerator
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Type
/
to 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 }}
Uh oh!
There was an error while loading.
Please reload this page
.
Octane-Security
/
efcf-framework
Public
forked from
uni-due-syssec/efcf-framework
Notifications
You must be signed in to change notification settings
Fork
0
Star
1
Code
Pull requests
0
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Pull requests
Actions
Projects
Security and quality
Insights
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.