Open u201111476 opened 1 week ago
Same for Java (17) on Apple Silicon M2:
public String test() throws IOException {
FileOutputStream file = new FileOutputStream("test.txt");
file.write("Some String".getBytes());
return "";
}
will not yield any issues when tested with:
infer run --no-filtering -- javac MyFile.java
I have a file named main.c with some code like this:
then I use
infer capture -- gcc main.c
andinfer analyze --pulse
,no resource leak result is shown,why?