Chủ sở hữu
javapathfinder
Đã lập chỉ mục 4 kho mã nguồn · Xem trên GitHub
-
jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to instal...
Java · 621 star
-
jpf-nhandler
Support auto-delegation of native methods in JPF
Java · 7 star
-
jpf-wiki-sync
Repository that gets synchronized with the wiki on jpf-core
TeX · 3 star
-
jpf-nas
Support networked applications in JPF
Java · 2 star
Các issue có thể đã có người làm được xếp cuối danh sách. Sắp xếp tất cả theo ngày
-
Title: FileUtils.removeRecursively() throws NullPointerException when given a regular fileCó thể làm lại được @Utkarsh-rwt đã nhận 21 ngày trước và không có pull request nào đang mở. Đang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 82/100
javapathfinder/jpf-core#648 · 4 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
uncaught exceptions aren't detected when they probably shouldCó thể làm lại được @coder-Yash886 đã nhận 54 ngày trước và không có pull request nào đang mở. Đang mở
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 52/100
javapathfinder/jpf-core#637 · 7 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
javapathfinder/jpf-core#632 · 4 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
javapathfinder/jpf-core#628 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 65/100
javapathfinder/jpf-nas#14 · 1 bình luận ·
-
Java 17 build/test fails on some platformsCó thể làm lại được @huntermarchi đã nhận 348 ngày trước và không có pull request nào đang mở. Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100
javapathfinder/jpf-core#566 · 8 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Model Class LoadingĐang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 30/100
javapathfinder/jpf-nas#7 · 9 bình luận ·
-
Partly outdated documentationCó thể làm lại được @huntermarchi đã nhận 346 ngày trước và không có pull request nào đang mở. Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
javapathfinder/jpf-core#563 · 11 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
javapathfinder/jpf-core#558 · 3 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Checking Statecharts with JPFĐang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100
javapathfinder/jpf-core#555 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Current issue with jpf nasĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
javapathfinder/jpf-nas#4 · 31 bình luận ·
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 42/100
javapathfinder/jpf-nas#3 · 10 bình luận ·
-
Add GitHub actionĐang mở
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
javapathfinder/jpf-nas#2 · 1 bình luận ·
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 55/100
javapathfinder/jpf-core#535 · 3 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Documentation Error: Incorrect Markdown Attributes in Random Example Wiki PageCó thể làm lại được @RehanChalana đã nhận 583 ngày trước và không có pull request nào đang mở. Đang mở
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 55/100
javapathfinder/jpf-core#534 · 2 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
One wiki link is downĐang mở
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 58/100
javapathfinder/jpf-core#526 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Alternatives to GitHub WikiĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
javapathfinder/jpf-wiki-sync#19 · 3 bình luận ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
javapathfinder/jpf-core#511 · 7 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Introducing a website that will enhance discoverability.Có thể làm lại được @venkat1701 đã nhận 652 ngày trước và không có pull request nào đang mở. Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 15/100
javapathfinder/jpf-core#504 · 25 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Support IntStreamĐang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 28/100
javapathfinder/jpf-core#503 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
documentation for custom JVM?Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 20/100
javapathfinder/jpf-core#502 · 2 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Need Implementation of `JarFile`Có thể làm lại được @Aditya-132 đã nhận 602 ngày trước và không có pull request nào đang mở. Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
javapathfinder/jpf-core#483 · 2 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Illegal reflective access warningCó thể làm lại được @PritamP20 đã nhận 308 ngày trước và không có pull request nào đang mở. Đang mởbug good first issue
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
javapathfinder/jpf-nhandler#8 · 6 bình luận ·
-
Documentation (README) updateCó thể làm lại được @Junaid-Ashraf-56 đã nhận 314 ngày trước và không có pull request nào đang mở. Đang mởdocumentation good first issue
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 55/100
javapathfinder/jpf-nhandler#5 · 2 bình luận ·
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 25/100
javapathfinder/jpf-core#435 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 25/100
javapathfinder/jpf-core#434 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
javapathfinder/jpf-core#429 · 5 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
java version
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
javapathfinder/jpf-core#369 · 2 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
enhancement
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 20/100
javapathfinder/jpf-core#314 · 2 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Broken link in Eclipse PluginĐang mở
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 35/100
javapathfinder/jpf-wiki-sync#10 · 1 bình luận ·
-
enhancement first issue
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
javapathfinder/jpf-core#191 · 21 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
api support
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
javapathfinder/jpf-core#163 · 6 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Enforce code formattingĐang mởenhancement
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
javapathfinder/jpf-core#160 · 2 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Support java.nioĐang mởapi support
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
javapathfinder/jpf-core#153 · 3 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Improve generic type introspectionCó thể làm lại được @manish3499 đã nhận 2824 ngày trước và không có pull request nào đang mở. Đang mởapi support
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
javapathfinder/jpf-core#152 · 3 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Support java.util.ZipFile and friendsCó thể làm lại được @manish3499 đã nhận 2834 ngày trước và không có pull request nào đang mở. Đang mởapi support
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 32/100
javapathfinder/jpf-core#149 · 2 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Download links are missingCó thể làm lại được @sumitdnath đã nhận 2152 ngày trước và không có pull request nào đang mở. Đang mởdocumentation
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 45/100
javapathfinder/jpf-core#9 · 6 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
PathnameExpander incorrectly interprets regex metacharacters in wildcard patternsCó thể đã có người làm @jiteshkhatri11 đã nhận 3 ngày trước. Đang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 72/100
javapathfinder/jpf-core#662 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
IdentityArrayObjectSet iterator remove may throw ArrayIndexOutOfBoundsExceptionCó thể đã có người làm @jiteshkhatri11 đã nhận 5 ngày trước. Đang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 72/100
javapathfinder/jpf-core#660 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
SparseIntVector cannot store Integer.MIN_VALUE as an indexCó thể đã có người làm @jiteshkhatri11 đã nhận 12 ngày trước. Đang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
javapathfinder/jpf-core#658 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
FileUtils.getContentsAsString() throws NullPointerException instead of IOExceptionCó thể đã có người làm @Sarthak-Shreshtha01 đã nhận 21 ngày trước. Đang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 73/100
javapathfinder/jpf-core#649 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Add unit tests for gov.nasa.jpf.util.IntVectorCó thể đã có người làm @jiteshkhatri11 đã nhận 32 ngày trước. Đang mở
Độ khó 2/5 Nửa ngày Mức phù hợp với người mới 78/100
javapathfinder/jpf-core#642 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Method references return wrong values when the result needs boxingCó thể đã có người làm @alwaysalearner1234 đã nhận 86 ngày trước. Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 56/100
javapathfinder/jpf-core#629 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Add unit tests for gov.nasa.jpf.util.FixedBitSetCó thể đã có người làm @HritikRaj2 đã nhận 285 ngày trước. Đang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
javapathfinder/jpf-core#595 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Add unit tests for gov.nasa.jpf.util.WeakPoolCó thể đã có người làm @HritikRaj2 đã nhận 287 ngày trước. Đang mở
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100
javapathfinder/jpf-core#593 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
VM.getSavedProperty("os.name") not supportedCó thể đã có người làm @Harsh4902 đã nhận 783 ngày trước. Đang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 42/100
javapathfinder/jpf-core#495 · 6 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
URLClassLoader unit tests fail under WindowsCó thể đã có người làm @anishmehta24 đã nhận 31 ngày trước. Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100
javapathfinder/jpf-core#427 · 7 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Challenges running java.util.logging.Logger.getLogger in JPFCó thể đã có người làm @kallal79 đã nhận 244 ngày trước. Đang mởbug first issue
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100
javapathfinder/jpf-core#341 · 12 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Missing check for STATIC method when executingCó thể đã có người làm @This-Is-Ram đã nhận 299 ngày trước. Đang mởbug first issue
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 38/100
javapathfinder/jpf-core#250 · 31 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày