Skip to content

Issues: draperlaboratory/VIBES

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.

Sign up for GitHub

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

48 Open 34 Closed
48 Open 34 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Document our nice high-level vulnerability examples
#203 opened Apr 19, 2022 by ccasin
Include a --version flag that will show the latest commit
#194 opened Mar 31, 2022 by bmourad01
Move type defs to hvars
#193 opened Mar 31, 2022 by philzook58
1
Printf support
#191 opened Mar 31, 2022 by philzook58
Support for struct type importing
#189 opened Mar 29, 2022 by philzook58
Peephole Patterns as Objectives
#188 opened Mar 28, 2022 by philzook58
Smarter Layout Ordering
#187 opened Mar 28, 2022 by philzook58
Implicit Fallthrough on Exit Blocks
#186 opened Mar 28, 2022 by philzook58
Fix incomplete system tests
#181 opened Mar 24, 2022 by jtpaasch
@bmourad01
2
Model Flags
#179 opened Mar 17, 2022 by philzook58
2
User defined constraints Improvements
#177 opened Mar 9, 2022 by philzook58
1
Opcode to Register Classes Maps for architectures
#175 opened Mar 8, 2022 by philzook58
Manage complexity of the C frontend
#174 opened Mar 8, 2022 by bmourad01
Make more extensive use of Bap_c
#173 opened Mar 8, 2022 by bmourad01
Refactor use of Events when generating verbose output
#172 opened Mar 4, 2022 by bmourad01
Patch object should be non-optional parameter to the selector
#171 opened Mar 3, 2022 by bmourad01
Make Ir types opaque
#170 opened Mar 2, 2022 by philzook58
Isel: Make sure initial block is maintained from BIR into Vibes_IR
#169 opened Mar 1, 2022 by philzook58
Extend pattern matcher with filters
#160 opened Feb 8, 2022 by philzook58
Check bit vector length in minizinc instruction selector
#157 opened Feb 3, 2022 by philzook58
Cyclic dependencies in instruction selector
#152 opened Jan 26, 2022 by philzook58
Use better abstraction for handling of special name forms for variables
#148 opened Jan 7, 2022 by bmourad01
Write more system tests that use control flow/multiple blocks
#147 opened Jan 7, 2022 by bmourad01
Remove spilling code from bir_passes when supported in constraint model
#143 opened Jan 6, 2022 by ccasin
Lift congruences to operands
#142 opened Jan 5, 2022 by philzook58
ProTip! Mix and match filters to narrow down what you’re looking for.