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 }}
inian
/
oyente-1
Public
forked from
enzymefinance/oyente
Notifications
You must be signed in to change notification settings
Fork
0
Star
0
Code
Pull requests
0
Actions
Projects
Wiki
Security and quality
0
Insights
Additional navigation options
Code
Pull requests
Actions
Projects
Wiki
Security and quality
Insights
Commits
Branch selector
master
User selector
All users
All time
Commit history
Commits on Jul 8, 2017
Impl EXTCODECOPY (#138)
inian
authored
6be6762
View commit details
Copy full SHA for 6be6762
Browse repository at this point
Implement CODECOPY (#131)
Show description for 962d07d
inian
authored
962d07d
View commit details
Copy full SHA for 962d07d
Browse repository at this point
Commits on Jul 7, 2017
Merge pull request #136 from luongnt95/validate_inputs
Show description for 484c165
luongnt95
authored
484c165
View commit details
Copy full SHA for 484c165
Browse repository at this point
Validate inputs on web
luongnt95
committed
2e204af
View commit details
Copy full SHA for 2e204af
Browse repository at this point
Merge pull request #135 from luongnt95/update_version
Show description for 0ded1c7
luongnt95
authored
0ded1c7
View commit details
Copy full SHA for 0ded1c7
Browse repository at this point
Update evm and solc
luongnt95
committed
82a7899
View commit details
Copy full SHA for 82a7899
Browse repository at this point
Merge pull request #134 from luongnt95/jump_jumpi
Show description for 1d0a615
luongnt95
authored
1d0a615
View commit details
Copy full SHA for 1d0a615
Browse repository at this point
Exception handling for JUMP and JUMPI
luongnt95
committed
d401a64
View commit details
Copy full SHA for d401a64
Browse repository at this point
Commits on Jun 30, 2017
Merge pull request #130 from luongnt95/https
Show description for 28ed75b
luongnt95
authored
28ed75b
View commit details
Copy full SHA for 28ed75b
Browse repository at this point
Serving assets through https
luongnt95
committed
f8fe2b7
View commit details
Copy full SHA for f8fe2b7
Browse repository at this point
Commits on Jun 28, 2017
Merge pull request #128 from luongnt95/small_fix
Show description for e132d24
luongnt95
authored
e132d24
View commit details
Copy full SHA for e132d24
Browse repository at this point
Bug fixed in EXTCODESIZE
luongnt95
committed
e94afcd
View commit details
Copy full SHA for e94afcd
Browse repository at this point
Merge pull request #125 from luongnt95/small_fix
Show description for ed7b9e2
luongnt95
authored
ed7b9e2
View commit details
Copy full SHA for ed7b9e2
Browse repository at this point
Detect bugs after symbolic execution goes through
luongnt95
committed
3c5b14f
View commit details
Copy full SHA for 3c5b14f
Browse repository at this point
Commits on Jun 26, 2017
Merge pull request #119 from luongnt95/fix_timeout
Show description for dd58a30
luongnt95
authored
dd58a30
View commit details
Copy full SHA for dd58a30
Browse repository at this point
Analyzing bugs when encountering timeout exception
luongnt95
committed
f3d3658
View commit details
Copy full SHA for f3d3658
Browse repository at this point
Commits on Jun 22, 2017
Improve callstack attack detection
inian
committed
4a61c97
View commit details
Copy full SHA for 4a61c97
Browse repository at this point
ensure current_miu_i is real before processing
inian
committed
5343bf0
View commit details
Copy full SHA for 5343bf0
Browse repository at this point
Commits on Jun 19, 2017
Missing stacktrace in one path
inian
committed
bcac7ac
View commit details
Copy full SHA for bcac7ac
Browse repository at this point
SLOAD: return sym var for new address
inian
committed
aa10930
View commit details
Copy full SHA for aa10930
Browse repository at this point
Commits on Jun 18, 2017
Merge pull request #114 from luongnt95/refactor_tests
Show description for 4b5c39c
luongnt95
authored
4b5c39c
View commit details
Copy full SHA for 4b5c39c
Browse repository at this point
Refactor the tests
luongnt95
committed
ff89da0
View commit details
Copy full SHA for ff89da0
Browse repository at this point
Commits on Jun 16, 2017
Update code.md
loiluu
authored
25f3478
View commit details
Copy full SHA for 25f3478
Browse repository at this point
Merge pull request #112 from luongnt95/add_testing_documentation
Show description for d5f8893
luongnt95
authored
d5f8893
View commit details
Copy full SHA for d5f8893
Browse repository at this point
Adding testing documentation
luongnt95
committed
3d16a8f
View commit details
Copy full SHA for 3d16a8f
Browse repository at this point
Commits on Jun 15, 2017
fix concurrent attack detection (#111)
inian
authored
2c689c5
View commit details
Copy full SHA for 2c689c5
Browse repository at this point
Commits on Jun 13, 2017
update callstack detection logic explanation
inian
committed
7aadbfd
View commit details
Copy full SHA for 7aadbfd
Browse repository at this point
Commits on Jun 12, 2017
add info about opcode handling
inian
committed
395c437
View commit details
Copy full SHA for 395c437
Browse repository at this point
tighten callstack attack detection
inian
committed
2275c2f
View commit details
Copy full SHA for 2275c2f
Browse repository at this point
Commits on Jun 11, 2017
Update README
inian
authored
0e92eba
View commit details
Copy full SHA for 0e92eba
Browse repository at this point
Update README to get started with newer docker img
inian
committed
4b7b6d4
View commit details
Copy full SHA for 4b7b6d4
Browse repository at this point
formatting
inian
committed
feae824
View commit details
Copy full SHA for feae824
Browse repository at this point
Merge pull request #108 from luongnt95/small_fix
Show description for 5847e53
luongnt95
authored
5847e53
View commit details
Copy full SHA for 5847e53
Browse repository at this point
Fix in symblic execution
luongnt95
committed
5fa4f9f
View commit details
Copy full SHA for 5fa4f9f
Browse repository at this point
Add deps for web server to dockerfile
inian
committed
d80707e
View commit details
Copy full SHA for d80707e
Browse repository at this point
Previous
Next
You can’t perform that action at this time.