angr/ailment issues and pull requests

#278 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 3 days ago

#277 - VirtualVariable: Add some accessors for type safety.

Pull Request - State: closed - Opened by ltfish 6 days ago
Labels: enhancement

#276 - Const: Add is_int property.

Pull Request - State: closed - Opened by ltfish 6 days ago
Labels: enhancement

#275 - AILBlockWalker: Handle Reinterpret.

Pull Request - State: closed - Opened by ltfish 7 days ago
Labels: enhancement

#274 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 10 days ago

#273 - Update RTD config to include sphinx configuration key

Pull Request - State: closed - Opened by twizmwazin 16 days ago

#272 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 17 days ago

#271 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 24 days ago

#270 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] about 1 month ago

#269 - `ITE` `iftrue` and `iffalse` constructor parameters should be swapped

Issue - State: open - Opened by mborgerson about 1 month ago
Labels: bug

#268 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] about 1 month ago

#267 - Statement: Add more types

Pull Request - State: closed - Opened by mborgerson about 2 months ago

#266 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] about 2 months ago

#265 - Typecheck more things

Pull Request - State: closed - Opened by rhelmot about 2 months ago

#264 - AILBlockWalker: Call and CallExpr handle .target.

Pull Request - State: closed - Opened by ltfish about 2 months ago
Labels: enhancement

#263 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] about 2 months ago

#262 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 2 months ago

#261 - BlockWalker: Handle Store.guard.

Pull Request - State: closed - Opened by ltfish 2 months ago
Labels: bug

#260 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 2 months ago

#259 - Phi._hash_core: Fix crashes caused by None in src_and_vvars.

Pull Request - State: closed - Opened by ltfish 3 months ago
Labels: bug

#258 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 3 months ago

#257 - VEXIRSBConverter: Fix cond jump in blocks with more than one cond jumps.

Pull Request - State: closed - Opened by ltfish 3 months ago
Labels: bug

#256 - Upgrade macos CI to macos 15

Pull Request - State: closed - Opened by twizmwazin 3 months ago

#255 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 3 months ago

#254 - VEXIRSBConverter: Fix fp_ret_reg_offset comparison.

Pull Request - State: closed - Opened by ltfish 3 months ago
Labels: bug

#253 - VEXIRSBConveter: Fix two places where regs do not have tags.

Pull Request - State: closed - Opened by ltfish 3 months ago
Labels: bug

#252 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 3 months ago

#251 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 3 months ago

#250 - Fix the use of dirty in DirtyStatement.

Pull Request - State: closed - Opened by ltfish 3 months ago
Labels: enhancement

#249 - AIL: Model dirty expression properly.

Pull Request - State: closed - Opened by ltfish 3 months ago
Labels: enhancement

#248 - VVarCategory: Add a TMP category.

Pull Request - State: closed - Opened by ltfish 4 months ago
Labels: enhancement

#247 - AILBlockWalker: Implement Phi handler.

Pull Request - State: closed - Opened by ltfish 4 months ago
Labels: enhancement

#246 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 4 months ago

#245 - AILBlockWalker: Support off-band block updates.

Pull Request - State: closed - Opened by ltfish 4 months ago
Labels: enhancement

#244 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 4 months ago

#243 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 4 months ago

#242 - BinaryOp: Fix a bug that would lead to one of the operands becoming None after replacing.

Pull Request - State: closed - Opened by ltfish 4 months ago
Labels: bug

#241 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 4 months ago

#240 - VEXConverter: Convert DirtyStmts to Assignments.

Pull Request - State: closed - Opened by ltfish 4 months ago
Labels: bug

#239 - VEXConverter: Correctly set the size of GetMSBs expressions.

Pull Request - State: closed - Opened by ltfish 4 months ago
Labels: bug

#238 - AILBlockWalkerBase: Calls handle targets.

Pull Request - State: closed - Opened by ltfish 4 months ago
Labels: bug

#237 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 5 months ago

#236 - Implement Statement.matches and Expression.matches.

Pull Request - State: closed - Opened by ltfish 5 months ago
Labels: enhancement

#235 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 5 months ago

#234 - Call: Reset bits when ret_expr is replaced.

Pull Request - State: closed - Opened by ltfish 5 months ago
Labels: bug

#233 - Call: Add a .bits field.

Pull Request - State: closed - Opened by ltfish 5 months ago
Labels: enhancement

#232 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 5 months ago

#231 - PCodeConverter: Handle upper case space names.

Pull Request - State: closed - Opened by ltfish 5 months ago
Labels: bug

#230 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 5 months ago

#229 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 5 months ago

#228 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 6 months ago

#227 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 6 months ago

#226 - VirtualVariableCategory: Add PARAMETER.

Pull Request - State: closed - Opened by ltfish 6 months ago
Labels: enhancement

#225 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 6 months ago

#224 - Implement Phi.replace().

Pull Request - State: closed - Opened by ltfish 6 months ago
Labels: enhancement

#223 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 6 months ago

#222 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 7 months ago

#221 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 7 months ago

#220 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 7 months ago

#219 - Add VirtualVariable and Phi to support partial SSA form.

Pull Request - State: closed - Opened by ltfish 7 months ago
Labels: enhancement

#218 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 7 months ago

#217 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 8 months ago

#216 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 8 months ago

#215 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 8 months ago

#214 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 8 months ago

#213 - Const.likes: Handle nan.

Pull Request - State: closed - Opened by ltfish 8 months ago
Labels: bug

#212 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 8 months ago

#211 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 9 months ago

#210 - Bump min Python to 3.10

Pull Request - State: closed - Opened by mborgerson 9 months ago

#209 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 9 months ago

#208 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 9 months ago

#207 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 9 months ago

#206 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 10 months ago

#205 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 10 months ago

#204 - VEXExprConverter: Handle operand size conversion for DivMod.

Pull Request - State: closed - Opened by ltfish 10 months ago
Labels: enhancement

#203 - Add the size for ExpCmpNE.

Pull Request - State: closed - Opened by ltfish 10 months ago
Labels: enhancement

#202 - BinaryOp: Add AddV and MulV.

Pull Request - State: closed - Opened by ltfish 10 months ago
Labels: enhancement

#201 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 10 months ago

#200 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 11 months ago

#199 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 11 months ago

#198 - Handle JumpKind.Exit in VEXIRSBConverter

Issue - State: open - Opened by xxr0ss 11 months ago - 1 comment
Labels: enhancement, needs-triage

#197 - remove equality check for target

Pull Request - State: closed - Opened by AOS002 11 months ago
Labels: bug

#196 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 12 months ago

#195 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 12 months ago

#194 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 12 months ago