Skip to content

/ smack

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

76 Open 331 Closed
76 Open 331 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels.
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
Cleaning up SmackWarnings naming convention
#722 opened Apr 23, 2021 by zvonimir
@zvonimir
2
Implicit type conversion
#721 opened Apr 22, 2021 by sanjit-bhat
6
Simplify Yices2 installation
#720 opened Apr 20, 2021 by zvonimir
Invoke instructions to vararg functions are not handled properly bug
#719 opened Apr 12, 2021 by shaobo-he
@shaobo-he
Let function definitions in SMACK's libraries override these defined in input files
#718 opened Apr 12, 2021 by shaobo-he
1
Modeling LLVM's poison values question
#717 opened Apr 12, 2021 by keram88
Unnecessary calls to $galloc procedures for certain globals enhancement
#716 opened Apr 8, 2021 by shaobo-he
Allow targetted memory-safety checking enhancement question
#713 opened Mar 24, 2021 by keram88
@keram88
3
Memory instructions from the SplitAggregateValue pass are unnecessarrily checked in memory-safety mode
#710 opened Mar 17, 2021 by keram88
errno's definition only works on Linux
#706 opened Mar 16, 2021 by shaobo-he
Docker images seem too large
#705 opened Mar 16, 2021 by shaobo-he
Capture Cargo build options
#695 opened Mar 3, 2021 by shaobo-he
False alarm when the integer encoding is wrapped integer
#682 opened Jan 22, 2021 by shaobo-he
2
Incorrect output when --max-violations is greater than 1
#679 opened Jan 20, 2021 by shaobo-he
2
Generalize SplitAggregateValue's handling of aggregate constants
#657 opened Nov 29, 2020 by shaobo-he
Wrong c line number in generated bpl file
#650 opened Nov 20, 2020 by octopus-yun
4
Problematic handling of LLVM arithmetic with overflow intrinsics
#646 opened Nov 19, 2020 by shaobo-he
1
Global structures
#628 opened Oct 19, 2020 by hernanponcedeleon
4
Refactor floating point rounding mode initialization enhancement refactoring
#621 opened Oct 5, 2020 by shaobo-he
@shaobo-he
Imprecise error trace for memory safety violation
#617 opened Sep 25, 2020 by shaobo-he
Entry point annotation ill-defined for vararg functions
#616 opened Sep 25, 2020 by shaobo-he
1
Refactor NormalizeLoops to be a loop pass refactoring
#605 opened Aug 14, 2020 by zvonimir
@keram88
Incorrect model of calloc with respect to memory safety bug
#586 opened Jul 10, 2020 by shaobo-he
@shaobo-he
Smack does not model LLVM saturation arithmetic instructions enhancement
#577 opened May 13, 2020 by keram88
@keram88
1
Regressions in simd folder are failing with Corral
#576 opened May 10, 2020 by zvonimir
ProTip! Adding no:label will show everything without a label.