Array out of bounds exception while parsing #3359
Comments
|
Giving us an extracted test case that shows the problem will help investigate the problem. If I download a zip from there and import into my plain SDK installation workspace, I get tons of errors. |
|
Possibly related to #1419. |
jukzi
added
bug
My apologies! Here's the test case. import static java.util.Comparator.comparing;
import static org.springframework.http.MediaType.ALL_VALUE;
import jakarta.servlet.http.HttpServletRequest;
import java.io.File;
import java.io.IOException;
import java.nio.file.Files;
import java.nio.file.attribute.FileTime;
import java.time.ZonedDateTime;
import java.time.format.DateTimeFormatter;
import java.util.ArrayList;
import java.util.TimeZone;
import lombok.extern.slf4j.Slf4j;
import org.apache.commons.io.FileUtils;
import org.springframework.beans.factory.annotation.Value;
import org.springframework.http.MediaType;
import org.springframework.security.core.Authentication;
import org.springframework.stereotype.Controller;
import org.springframework.ui.ModelMap;
import org.springframework.web.bind.annotation.GetMapping;
import org.springframework.web.bind.annotation.PostMapping;
import org.springframework.web.bind.annotation.RequestMapping;
import org.springframework.web.bind.annotation.RequestParam;
import org.springframework.web.bind.annotation.ResponseBody;
import org.springframework.web.multipart.MultipartFile;
import org.springframework.web.servlet.ModelAndView;
import org.springframework.web.servlet.view.RedirectView;
/** Controller for uploading a file */
@Controller
@Slf4j
public class FileServer {
private static final DateTimeFormatter dateTimeFormatter =
DateTimeFormatter.ofPattern("yyyy-MM-dd HH:mm:ss");
@Value("${webwolf.fileserver.location}")
private String fileLocation;
@Value("${server.address}")
private String server;
@Value("${server.servlet.context-path}")
private String contextPath;
@Value("${server.port}")
private int port;
@GetMapping(value = "/files")
public ModelAndView getFiles(
HttpServletRequest request, Authentication authentication, TimeZone timezone) {
String username = (null != authentication) ? authentication.getName() : "anonymous";
File destinationDir = new File(fileLocation, username);
ModelAndView modelAndView = new ModelAndView();
record UploadedFile(String name, String size, String link, String creationTime) {}
var uploadedFiles = new ArrayList<UploadedFile>();
File[] files = destinationDir.listFiles(File::isFile);
return modelAndView;
}
} |
|
I can see the "problematic call" to Still I cannot reproduce the error on my machine. Can you please give some details on your used Java and Eclipse/eclipse-jdt versions? |
I have used Eclipse JDT core 3.39.0 and Java 17. |
I get this error when I try to parse the file
src/main/java/org/owasp/webgoat/webwolf/FileServer.javafrom Webgoat (https://github.com/WebGoat/WebGoat/releases/tag/v2023.8). The parser throws an array out of bounds exception.Stack trace:
Is there some workaround on this?
The text was updated successfully, but these errors were encountered: