Discussions

• 1 You must be logged in to vote

  🙏

  Pointer Generator for different pointee types

  stogaru asked Oct 23, 2024 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🙏

  Slice comparison/loop unwinding causing extensive kani runtime

  QinyuanWu asked Oct 22, 2024 in Q&A · Answered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Unexpected Kani Panic: assign statement with unequal types

  QinyuanWu asked Oct 21, 2024 in Q&A · Unanswered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Is there a same object check in Kani?

  QinyuanWu asked Oct 10, 2024 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙏

  ub_checks::can_dereference does not support reasoning about pointer to unallocated memory

  QinyuanWu asked Oct 17, 2024 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Proper use of ub_checks::can_write to check pointer bounds

  QinyuanWu asked Oct 3, 2024 in Q&A · Answered

  

  

  4
• 1 You must be logged in to vote

  🙏

  Kani verify-std runs on cached contracts & harnesses

  QinyuanWu asked Oct 3, 2024 in Q&A · Closed · Answered

  

  

  

  

  12
• 2 You must be logged in to vote

  🙏

  Testing Process

  aa-luna asked Oct 6, 2024 in Q&A · Answered

  

  

  1
• 2 You must be logged in to vote

  🙏

  Use of Layout,alloc and dealloc to create and free dynamic arrays

  QinyuanWu asked Oct 5, 2024 in Q&A · Answered

  

  

  

  

  2
• 2 You must be logged in to vote

  🙏

  Generic Types and Comparison

  aa-luna asked Sep 27, 2024 in Q&A · Closed · Answered

  

  

  

  

  3
• 2 You must be logged in to vote

  🙏

  Determining the valid value range for *const T::offset's count parameter.

  stogaru asked Sep 27, 2024 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Unchecked Multiplication checks performance bottleneck

  rajathkotyal asked Oct 2, 2024 in Q&A · Closed · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Multiple data types for pointer manipulation proofs

  QinyuanWu asked Oct 3, 2024 in Q&A · Answered

  

  

  

  

  2