Col-E/SimAnalyzer

Create hand-crafted cases

Open

#2 opened on May 6, 2020

View on GitHub
 (0 comments) (0 reactions) (0 assignees)Java (4 forks)github user discovery
enhancementhelp wanted

Repository metrics

Stars
 (48 stars)
PR merge metrics
 (No merged PRs in 30d)

Description

Most classes generated by javac will pass without any problem.

That's all well and good, but we want to prove there are cases that contain illegal code that fail the verification process. If you have any custom class files intended for crashing decompilers and such, I'd appreciate them as analyzer test cases :+1:

Contributor guide

Research direction
Create or find a Java class file with illegal bytecode (e.g., invalid stack frames) to test the analyzer's verification. Add it as a test case in the test directory.
Tech stack
java
Domain
backend
Issue type
Test
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
2
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
1-3 hours
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
Fresh
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
Clear
Prerequisites
Java
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
65