Hacktoberfest 2026: những issue maintainer đã đánh dấu cho tháng Mười, đang mở và phù hợp người mới. Xem issue Hacktoberfest

Chủ sở hữu

esbmc

Đăng nhập để theo dõi

Đã lập chỉ mục 1 kho mã nguồn · Xem trên GitHub

Phù hợp cho người mới Tất cả
Đang mở Tất cả

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

  • [python] A function called through a dict lookup gives a wrong result when the dict is not a local literal
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

    esbmc/esbmc#8768 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • memcpy of bytes into a float fails when the float's old value may be NaN
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 42/100

    esbmc/esbmc#8711 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [Solidity] --overflow-check reports overflow inside the ** and type(int256).min models on correct contracts
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100

    esbmc/esbmc#8707 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [python] int() of an invalid string asserts instead of raising ValueError, so except ValueError cannot catch it
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

    esbmc/esbmc#8705 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [python] hash() returns a fresh nondet value on every call, so hash(x) == hash(x) fails
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 74/100

    esbmc/esbmc#8704 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [Solidity] Shift count is truncated to the left operand's type, so uint8(1) << 256 gives 1
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

    esbmc/esbmc#8690 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Call through a pointer to a virtual member function does not dispatch virtually
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 57/100

    esbmc/esbmc#8679 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • x86 long double is modelled with a 112-bit fraction while LDBL_MANT_DIG is 64
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 57/100

    esbmc/esbmc#8675 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [contracts] requires() pinning a pointer to a concrete global does not prune dead branches/loops during symex
    Đang mở
    • Có gì không ổn?
    contracts

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

    esbmc/esbmc#8517 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [python] Unpacking a generator expression over a symbolic range reads out of bounds
    Đang mở
    • Có gì không ổn?
    python

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100

    esbmc/esbmc#8500 · 1 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [python] collections.namedtuple is not modelled
    Đang mở
    • Có gì không ổn?
    python

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 53/100

    esbmc/esbmc#8487 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [python] Calling a lambda parameter is refused
    Đang mở
    • Có gì không ổn?
    python

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 49/100

    esbmc/esbmc#8485 · 1 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [python] Forwarding *args to another function is refused
    Đang mở
    • Có gì không ổn?
    python

    Độ khó 4/5 1-2 ngày Mức phù hợp với người mới 48/100

    esbmc/esbmc#8480 · 1 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [python] A variable bound to one of two classes cannot be called
    Đang mở
    • Có gì không ổn?
    python

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 58/100

    esbmc/esbmc#8478 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [python] The itertools module is not modelled
    Đang mở
    • Có gì không ổn?
    python

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

    esbmc/esbmc#8377 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [python] A for loop over a call of a rebound class name crashes or reports TypeError
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 1-2 ngày Mức phù hợp với người mới 48/100

    esbmc/esbmc#8343 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [python] Tracking: gaps found running the sv-benchmarks Python programs
    Đang mở
    • Có gì không ổn?

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 12/100

    esbmc/esbmc#8326 · 1 reaction ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [python] iter() has no modelled result type, so next() cannot be checked
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    esbmc/esbmc#8284 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [python] zip over a symbolic list is unsupported
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 38/100

    esbmc/esbmc#8283 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [python] Importing _sv_verifier fails once it defines check_type
    Có thể làm lại được Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 15/100

    esbmc/esbmc#8281 · 3 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [python] pop() on an empty list reports cascaded violations and repeated verdicts
    Đang mở
    • Có gì không ổn?
    bug k-induction python

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 30/100

    esbmc/esbmc#8255 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [python] Cannot take a method off a call result and store it in a variable
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 62/100

    esbmc/esbmc#8243 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [OM] __CPROVER_OBJECT_SIZE returns an element count, not bytes
    Đang mở
    • Có gì không ổn?
    bug cprover OM

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 58/100

    esbmc/esbmc#8240 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [goto-programs] A union with a designated initialiser aborts a CBMC --binary run
    Đang mở
    • Có gì không ổn?
    bug goto-programs

    Độ khó 4/5 1-2 ngày Mức phù hợp với người mới 42/100

    esbmc/esbmc#8238 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [goto-programs] --function on a CBMC binary skips __attribute__((constructor)) functions
    Đang mở
    • Có gì không ổn?
    bug goto-programs

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100

    esbmc/esbmc#8237 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [python] The array module is not modelled
    Có thể làm lại được Đang mở
    • Có gì không ổn?
    python

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100

    esbmc/esbmc#8222 · 2 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [svcomp] --context-bound 3 reports incorrect true on ctcs-race-reused-thread-id
    Đang mở
    • Có gì không ổn?
    concurrency SV-COMP

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 28/100

    esbmc/esbmc#8220 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [ld] A property with a non-BOOL operand aborts on an assertion
    Đang mở
    • Có gì không ổn?
    bug ld-frontend

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100

    esbmc/esbmc#8213 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [ld] REAL is modeled as a double, the reference uses a 32-bit float
    Đang mở
    • Có gì không ổn?
    bug ld-frontend

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 55/100

    esbmc/esbmc#8212 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [ld] Edge contacts compare with the end-of-scan value, not the previous evaluation
    Đang mở
    • Có gì không ổn?
    bug ld-frontend

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

    esbmc/esbmc#8211 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [ld] User function block EN and ENO are ignored
    Đang mở
    • Có gì không ổn?
    bug ld-frontend

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

    esbmc/esbmc#8210 · 1 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Wrapped interval join drops a value at the join of two overlapping arcs
    Đang mở
    • Có gì không ổn?
    bug correctness: false negative goto-programs

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 57/100

    esbmc/esbmc#8209 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Concurrency checks assume sequential consistency: an x86-TSO outcome is reported unreachable
    Đang mở
    • Có gì không ổn?
    concurrency enhancement

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

    esbmc/esbmc#8181 · 1 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [svcomp] --context-bound 3 reports incorrect true on triangular-*-2
    Có thể làm lại được Đang mở
    • Có gì không ổn?
    concurrency SV-COMP

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100

    esbmc/esbmc#8180 · 2 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [python] List == ignores an inner list replaced through a parameter or alias
    Đang mở
    • Có gì không ổn?
    bug correctness: false negative python

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 76/100

    esbmc/esbmc#8130 · 1 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [umbrella] 185 crashes in the 300 s SV-COMP run on master (7 causes)
    Đang mở
    • Có gì không ổn?
    bug SV-COMP umbrella

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    esbmc/esbmc#8097 · 1 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [umbrella] Open items found while reviewing the roadmaps
    Đang mở
    • Có gì không ổn?
    docs umbrella

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100

    esbmc/esbmc#8090 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Support --multi-property under --k-induction-parallel
    Đang mở
    • Có gì không ổn?
    enhancement k-induction

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

    esbmc/esbmc#7968 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Two user-input errors call abort(), dumping core with exit 134
    Đang mở
    • Có gì không ổn?
    bug goto-symex solver

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 76/100

    esbmc/esbmc#7901 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [CI] No failing job runs regression/python-intensive
    Đang mở
    • Có gì không ổn?
    CI test

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 55/100

    esbmc/esbmc#7857 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [om] Add the C++11-C++23 library headers missing from src/cpp/library
    Đang mở
    • Có gì không ổn?
    C++ enhancement OM

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 65/100

    esbmc/esbmc#7797 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [python] Calling a function chosen by a conditional expression aborts when it returns str
    Có thể đã có người làm Đang mở
    • Có gì không ổn?

    esbmc/esbmc#8784 · 1 người được giao ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [python] A tuple built by tuple() from a list or range is read as a list
    Có thể đã có người làm Đang mở
    • Có gì không ổn?
    python

    esbmc/esbmc#8777 · 1 người được giao ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [python] Calling an instance method on its class without an instance does not raise TypeError
    Có thể đã có người làm Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 28/100

    esbmc/esbmc#8771 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [python] functools.reduce over a concatenated list fails isinstance(..., int)
    Có thể đã có người làm Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    esbmc/esbmc#8770 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [python] is between an unpacked float and its list element is false
    Có thể đã có người làm Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100

    esbmc/esbmc#8769 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [python] A parameter given an exception instance and an int aborts
    Có thể đã có người làm Đang mở
    • Có gì không ổn?

    esbmc/esbmc#8766 · 1 người được giao ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [python] Looping over a tuple of types gives the wrong element
    Có thể đã có người làm Đang mở
    • Có gì không ổn?

    esbmc/esbmc#8765 · 1 người được giao ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • [python] type(None) is lowered to a string, not a type
    Có thể đã có người làm Đang mở
    • Có gì không ổn?

    esbmc/esbmc#8764 · 1 người được giao ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • goto_loop_simplify collapses a counter loop on a shared global, hiding interleavings
    Có thể đã có người làm Đang mở
    • Có gì không ổn?

    Độ khó 4/5 1-2 ngày Mức phù hợp với người mới 70/100

    esbmc/esbmc#8712 ·

    Maintainer thường phản hồi trong vòng 1 ngày

Đang hiển thị 100 mục mới nhất

Trang này chỉ liệt kê những gì được lập chỉ mục gần đây. Bộ lọc nâng cao có toàn bộ kho, thu hẹp theo ngôn ngữ, độ khó và thời lượng.

Mở bộ lọc nâng cao

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.