Skip to content

throw NoSuchMethodException when INVOKESPECIAL can't find callee - #85

Open
zhangwen0411 wants to merge 1 commit into
SymbolicPathFinder:masterfrom
zhangwen0411:no-such-method-invokespecial
Open

throw NoSuchMethodException when INVOKESPECIAL can't find callee#85
zhangwen0411 wants to merge 1 commit into
SymbolicPathFinder:masterfrom
zhangwen0411:no-such-method-invokespecial

Conversation

@zhangwen0411

Copy link
Copy Markdown

No description provided.

@sohah

sohah commented Jun 23, 2024

Copy link
Copy Markdown

@yannicnoller , this is not a useful change. I think we can close this PR.

@yannicnoller

Copy link
Copy Markdown
Member

@sohah do you think the "!*" is a typo in the original code? From looking at it, I think I agree that we should change it.

@sohah

sohah commented Jul 15, 2024

Copy link
Copy Markdown

@yannicnoller , yeah, sure it's a valid typeo fix, I meant, the PR is not fixing any unsound behavior. But, of course, let's accept this change then.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants