Uwe và những người khác cũng đã sử dụng bddbddb cho một loạt các phân tích khác và analy-
truy vấn sis, chẳng hạn như phân tích con trỏ C, loại bỏ giới hạn kiểm tra hoạt động [1], fi NĐ-
ing lỗ hổng bảo mật trong các ứng dụng web [22], fi nding điều kiện chủng tộc, thoát
phân tích, phân tích khóa, lỗi serialization, và bộ nhớ xác định rò rỉ và mất hiệu lực
thính giả [23].
đang được dịch, vui lòng đợi..