Brian

Results 71 comments of Brian

@jelledevleeschouwer Pinging to check in on a possible followup to this PR?

@willssong2018 Pinging to check in on a possible followup to this PR?

@caramelli Pinging to check in on a possible followup to this PR?

Hi again--to update, previously, we raised PR https://github.com/monkey/monkey/pull/402 for a bug found with CodeQL, which was merged. **We believe this is conclusive evidence that CodeQL would be beneficial for** `monkey`.

@pwhelan @edsiper Pinging to check in on a possible followup to this PR?

@leonardo-albertovich Do you mind elaborating on 'unnecessary disruptions'? As for testing, on our own fork of `monkey`, here is a snippet of the results: ![image](https://github.com/monkey/monkey/assets/89487381/4bb5d4a3-97c7-4bfb-b9ee-bffa023d75fb) For the dismissal of any...

@yumeng5 Pinging to check in on a possible followup to this PR?

@sepfy Pinging to check in on a possible followup to this PR?

@VincentWei Pinging to check in on a possible followup to this PR?

@0x1abin Pinging to check in on a possible followup to this PR?