Ryan Goulden

Recursively thaw freezer subcgroups during SIGKILL

29

Fixes #2105 This PR is offered as an example of what I think would work. Unfortunately, it's kinda breaking some abstractions, and someone who knows the runC codebase could probably...

nn_divapprox_classical_preinv_c sometimes over-reads input `a`

6

The tests cause 1-word over-reads in nn_divapprox_classical_preinv_c. The following patch makes this condition visible: ``` diff --git a/nn_quadratic.c b/nn_quadratic.c index 9a71d5e..2a5c63c 100644 --- a/nn_quadratic.c +++ b/nn_quadratic.c @@ -312,6 +312,9 @@...

Signed overflow in zz_divremi

1

In the line `r += b;` in `zz_divremi` (zz.c:475), `r` and `b` can have large values that cause signed overflow. For example, I believe running the t-zz test triggers a...

"Create Function Here" has weird ARM vs Thumb behavior

11

Setup: 1. I have a small raw binary, it's mostly thumb instructions 2. I mark some functions as thumb, so Binary Ninja now shows the default architecture as thumb. 3....

enhancement: post-filtering of functions

1

1. Ability to mark certain functions as hidden, temporarily collapsing them and all their sub functions out of the trace as if they were filtered. 2. Ability to focus on...

This `DS.Remove()` invalidates the iterator `it` because it deletes the current element of the `std::set` within `DS`. This is a use-after-free, that in rare circumstances can lead to memory corruption...

Boolean `define-fun` functions don't work

1

On dReal v4.21.06.1: ``` (set-logic QF_NRA) (declare-fun a () Real) (define-fun eqfn ((x Real) (y Real)) Bool (= x y)) (assert (eqfn a 1.0)) (assert (eqfn a 2.0)) (check-sat) (get-model)...

#### Description New port for https://github.com/google/fuse-archive ###### Type(s) - [x] submission ###### Tested on macOS 15.5 24F74 arm64 Xcode 16.4 16F6 ###### Verification Have you - [x] followed our [Commit...

### Did you check existing issues? - [x] I have read all the [tree-sitter docs](https://tree-sitter.github.io/tree-sitter/using-parsers) if it relates to using the parser - [x] I have searched the existing issues...