Skip to content

Issues: javapathfinder/jpf-core

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

35 Open 195 Closed
35 Open 195 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

VM.getSavedProperty("os.name") not supported
#495 opened Sep 5, 2024 by cyrille-artho
1
6
"record" feature in jpf-core/java-17
#484 opened Jul 29, 2024 by eklaDFF
68
Need Implementation of JarFile
#483 opened Jul 26, 2024 by Harsh4902
NullPointerException in java.util.jar.JarFile.getEntry0 method
#477 opened Jul 18, 2024 by Harsh4902
5
Add support for package metadata in JarClassFileContainer
#473 opened Jul 4, 2024 by cyrille-artho
Java Path Finder Latest Version not available
#435 opened Mar 3, 2024 by saravmani
1
Class not found: com.google.common.util.concurrent.ThreadFactoryBuilder
#434 opened Feb 19, 2024 by natasha-jeppu
1
JPF fails with java.lang.IllegalArgumentException: Null charset name
#429 opened Dec 21, 2023 by aoli-al
3
URLClassLoader unit tests fail under Windows
#427 opened Dec 19, 2023 by ghost-cai
7
Unit test case performance enhancement first issue Good issue for first commit
#418 opened Aug 25, 2023 by cyrille-artho
10
Investigate the feasibility of setting up CI builds/tests with another JDK java version Java version
#369 opened Jul 10, 2023 by cyrille-artho
2
Add unit tests for method dispatch enhancement
#355 opened May 26, 2023 by cyrille-artho
1
Challenges running java.util.logging.Logger.getLogger in JPF bug first issue Good issue for first commit
#341 opened Sep 8, 2022 by copumpkin
1
java.lang.NoSuchMethodError - CharBuffer; enhancement
#314 opened Jan 24, 2022 by TreshUp
2
New Methods are missing in String Class api support API support
#313 opened Jan 22, 2022 by gaurangkudale
3
problem about jpf plugin in eclipse documentation
#280 opened Jan 10, 2021 by github-dxl
1
C:\Users\Administrator\.jpf\site.properties ：The system could not find the specified path. documentation
#278 opened Dec 18, 2020 by Xintao-C
5
eclipse-jpf link is not working in wiki area documentation
#268 opened Oct 4, 2020 by MokshTehlan
8
Package and Module info not parsed from bytecode enhancement
#252 opened Aug 5, 2020 by yuvaraj-anbarasan
1
Missing check for STATIC method when executing bug first issue Good issue for first commit
#250 opened Jul 31, 2020 by ilovejpf
18
Missing methods in the JPF model class of java.lang.Class api support API support
#235 opened Jul 22, 2020 by amgad-rady
1
Failure building in Java 13 java version Java version
#228 opened Jul 3, 2020 by sfortz
2
Failed to install eclipse plugin from update site documentation
#219 opened Mar 10, 2020 by mht208
3
The properties file could not be finded. documentation
#213 opened Dec 9, 2019 by Xintao-C
8
Java 12: several internal classes have been removed java version Java version
#193 opened Jun 7, 2019 by cyrille-artho
4
ProTip! Adding no:label will show everything without a label.