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

A difficult-to-reproduce segmentation fault.

Đang mở
  • Có gì không ổn?
#4,672 0 bình luận 0 reaction 0 người được giao Xem trên GitHub

Chưa có ai nhận issue này.

Đánh giá

Độ khó
5/5
Thời gian dự kiến
Hơn một tuần
Mức phù hợp với người mới
15/100
Loại issue
Lỗi
Độ rõ ràng
Cần làm rõ
Mức độ hoạt động
Đình trệ
Lĩnh vực
compilers

Hướng nghiên cứu

Start by reducing the reported configuration to a minimal reproducible example, using the shown program and comparing kompile with krun --depth 0. Investigate the suspected automatic cell-filling path; done means reproducing the segmentation fault reliably and confirming that the reduced case no longer crashes after the fix.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Mô tả

bug

image

The image shows an error we encountered during the development of our project. This error may also occur when running krun --depth 0. We suspect it is caused by an anomaly in the automatic filling of cells.

Initially, we provided a program similar to the one below:

module TEST-SYNTAX
imports INT-SYNTAX
syntax Top ::= List{Inst, ";"}
syntax Inst ::= "spawn" Int
endmodule

module TEST
imports TEST-SYNTAX
imports INT

configuration
<pgm> $PGM:Top </pgm>
<ks>
 <k-thread multiplicity="*" type="Map">
  <kid> 0 </kid>
  <k> 0 </k>
 </k-thread>
</ks>

rule 
<pgm> spawn X ; T:Top => T </pgm>
(.Bag =>
<k-thread>
  <kid> !_:Int </kid>
  <k> X </k>
</k-thread>
)

rule 
<k> X => X +Int Y </k>
<k-thread>
  <k> Y => Y -Int Y </k>
  ...
</k-thread>
requires Y >Int 0

endmodule

After placing <k> into the </k-thread>, the bug disappears. However, this program itself can be correctly compiled using kompile and executed with krun. Therefore, we have not yet identified the minimal reproducible example. Additionally, due to the complexity of our project and the lack of backups for the error, we are currently unsure how to reproduce the issue.

Ngôn ngữ chính
Python
Star
591
Fork
163
Không có pull request nào được merge trong 30 ngày

Chuẩn bị môi trường

Bắt đầu từ đâu

  1. Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
  2. Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
  3. Fork repository và làm thay đổi trên một nhánh.
  4. Mở pull request có tham chiếu số hiệu của issue.

Issue khác của runtimeverification/k

Tất cả issue của runtimeverification/k

Issue tương tự

Thêm issue về Python

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.