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
.
statycc
/
ifspec
Public
Notifications
You must be signed in to change notification settings
Fork
0
Star
0
Code
Pull requests
0
Actions
Security and quality
0
Insights
Additional navigation options
Code
Pull requests
Actions
Security and quality
Insights
Files
Expand file tree
main
Breadcrumbs
ifspec
/
JavaBytecode
/
Copy path
Directory actions
More options
More options
Directory actions
More options
More options
Latest commit
History
History
History
main
Breadcrumbs
ifspec
/
JavaBytecode
/
Copy path
Top
Folders and files
Name
Name
Last commit message
Last commit date
parent directory
..
Aliasing-ControlFlow-Insecure
Aliasing-ControlFlow-Insecure
Aliasing-ControlFlow-secure
Aliasing-ControlFlow-secure
Aliasing-InterProcedural-Insecure
Aliasing-InterProcedural-Insecure
Aliasing-InterProcedural-secure
Aliasing-InterProcedural-secure
Aliasing-Nested-Insecure
Aliasing-Nested-Insecure
Aliasing-Nested-secure
Aliasing-Nested-secure
Aliasing-Simple-Insecure
Aliasing-Simple-Insecure
Aliasing-Simple-secure
Aliasing-Simple-secure
Aliasing-StrongUpdate-secure
Aliasing-StrongUpdate-secure
ArrayCopyDirectLeak
ArrayCopyDirectLeak
ArrayIndexException-Insecure
ArrayIndexException-Insecure
ArrayIndexException-secure
ArrayIndexException-secure
ArrayIndexSensitivity-secure
ArrayIndexSensitivity-secure
ArraySizeStrongUpdate
ArraySizeStrongUpdate
Arrays-ImplicitLeak-Insecure
Arrays-ImplicitLeak-Insecure
Arrays-ImplicitLeak-secure
Arrays-ImplicitLeak-secure
BooleanOperations-Insecure
BooleanOperations-Insecure
BooleanOperations-secure
BooleanOperations-secure
CallContext
CallContext
ConditionalLekage
ConditionalLekage
Deepalias1
Deepalias1
Deepalias2
Deepalias2
Deepcall1
Deepcall1
Deepcall2
Deepcall2
DirectAssignment-secure
DirectAssignment-secure
DirectAssignment
DirectAssignment
DirectAssignmentLeak
DirectAssignmentLeak
ExceptionDivZero
ExceptionDivZero
ExceptionHandling
ExceptionHandling
ExceptionalControlFlow1-Insecure
ExceptionalControlFlow1-Insecure
ExceptionalControlFlow1-secure
ExceptionalControlFlow1-secure
ExceptionalControlFlow2-secure
ExceptionalControlFlow2-secure
HighConditionalIncrementalLeak-Insecure
HighConditionalIncrementalLeak-Insecure
HighConditionalIncrementalLeak-secure
HighConditionalIncrementalLeak-secure
IFLoop
IFLoop
IFLoop2
IFLoop2
IFMethodContract
IFMethodContract
IFMethodContract2
IFMethodContract2
ImplicitListSizeLeak
ImplicitListSizeLeak
ImplicitListSizeNoLeak
ImplicitListSizeNoLeak
LostInCast
LostInCast
ObjectSensLeak
ObjectSensLeak
PasswordChecker
PasswordChecker
Polynomial
Polynomial
Reflection-Accessibility-Modification-Secure
Reflection-Accessibility-Modification-Secure
Reflection-Accessibility-Modification
Reflection-Accessibility-Modification
ReflectionSetSecretPrivateField-Insecure
ReflectionSetSecretPrivateField-Insecure
ReflectionSetSecretPrivateField-secure
ReflectionSetSecretPrivateField-secure
ReviewerAnonymity-Leak
ReviewerAnonymity-Leak
ReviewerAnonymity-NoLeak
ReviewerAnonymity-NoLeak
ScenarioBanking-Insecure
ScenarioBanking-Insecure
ScenarioBanking-Secure
ScenarioBanking-Secure
ScenarioPasswordInsecure
ScenarioPasswordInsecure
ScenarioPasswordSecure
ScenarioPasswordSecure
SecuriBench-Aliasing1
SecuriBench-Aliasing1
SecuriBench-Aliasing2
SecuriBench-Aliasing2
SecuriBench-Aliasing3
SecuriBench-Aliasing3
SecuriBench-Aliasing4-secure
SecuriBench-Aliasing4-secure
SecuriBench-Aliasing4
SecuriBench-Aliasing4
SecuriBench-Aliasing5
SecuriBench-Aliasing5
SecuriBench-Aliasing6
SecuriBench-Aliasing6
SecuriBench-Arrays1
SecuriBench-Arrays1
SecuriBench-Arrays10-secure
SecuriBench-Arrays10-secure
SecuriBench-Arrays10
SecuriBench-Arrays10
SecuriBench-Arrays2-secure
SecuriBench-Arrays2-secure
SecuriBench-Arrays2
SecuriBench-Arrays2
SecuriBench-Arrays3-secure
SecuriBench-Arrays3-secure
SecuriBench-Arrays3
SecuriBench-Arrays3
SecuriBench-Arrays4
SecuriBench-Arrays4
SecuriBench-Arrays5
SecuriBench-Arrays5
SecuriBench-Arrays6
SecuriBench-Arrays6
SecuriBench-Arrays7
SecuriBench-Arrays7
SecuriBench-Arrays8-secure
SecuriBench-Arrays8-secure
SecuriBench-Arrays8
SecuriBench-Arrays8
SecuriBench-Arrays9
SecuriBench-Arrays9
SecuriBench-Basic1
SecuriBench-Basic1
SecuriBench-Basic10
SecuriBench-Basic10
SecuriBench-Basic11-secure
SecuriBench-Basic11-secure
SecuriBench-Basic11
SecuriBench-Basic11
SecuriBench-Basic12-secure
SecuriBench-Basic12-secure
SecuriBench-Basic12
SecuriBench-Basic12
SecuriBench-Basic13
SecuriBench-Basic13
SecuriBench-Basic14
SecuriBench-Basic14
SecuriBench-Basic15
SecuriBench-Basic15
SecuriBench-Basic16
SecuriBench-Basic16
SecuriBench-Basic17-secure
SecuriBench-Basic17-secure
SecuriBench-Basic17
SecuriBench-Basic17
SecuriBench-Basic18
SecuriBench-Basic18
SecuriBench-Basic19
SecuriBench-Basic19
SecuriBench-Basic2
SecuriBench-Basic2
SecuriBench-Basic20
SecuriBench-Basic20
SecuriBench-Basic22
SecuriBench-Basic22
SecuriBench-Basic23
SecuriBench-Basic23
SecuriBench-Basic24
SecuriBench-Basic24
SecuriBench-Basic25
SecuriBench-Basic25
SecuriBench-Basic26
SecuriBench-Basic26
SecuriBench-Basic27
SecuriBench-Basic27
SecuriBench-Basic28
SecuriBench-Basic28
SecuriBench-Basic29-secure
SecuriBench-Basic29-secure
SecuriBench-Basic29
SecuriBench-Basic29
View all files
You can’t perform that action at this time.