Commit Graph

Select branches

Hide Pull Requests

arch/expression-engine

arch/location-ssa

arch/object-address-values

archive/artifact-ci

archive/codex/deterministic-r2dec-ordering

archive/codex/ssa-dec-semantic-hints

archive/d-trip-ranges

archive/engine/review-fixes-vfmgfv

archive/engine/roadmap

archive/memory-value-provenance

archive/meta-handle

archive/phi-removal

archive/pr-13-head

archive/pr-13-merge

archive/predicate-flag-correctness

archive/q7-ceiling

archive/q7-experiment

archive/state-integration

archive/t3-experiment

archive/t34-measure

archive/t3c-measure

archive/t4-measure

archive/t5s-measure

archive/t5s2-measure

archive/track/f1-opid

archive/track/f1-rekey

archive/track/f1-stages

archive/track/v1-visual-core

archive/types-writeback

archive/worktree-agent-a30122da925a0bad3

b4-cpuid-refs-s6

b4-dispatch-bounds-s6

b4-indirect-table-s6

b4-materialised-refs-s6

b4-plt-refusal-s6

claude/r2s-lang-design-74dec5

claude/r2s-lang-design-74dec5-7i5cds

codex/fix-unsanitized-function-names-vulnerability

codex/gold-standard-r2sleigh

codex/semantic-preservation-kernel

codex/ssa-dec-semantic-hints

d-sites-equiv

dependabot/github_actions/actions/checkout-7

dwarf-sig-pipeline

engine/inversion

engine/real-binary-sweep

engine/review-fixes

engine/review-fixes-vfmgfv-cmpxchg

engine/review-fixes-vfmgfv-core-lift

engine/review-fixes-vfmgfv-core-ssa-entry

engine/review-fixes-vfmgfv-lzcount

engine/review-fixes-vfmgfv-p0-dylints

engine/review-fixes-vfmgfv-p1-identity

engine/review-fixes-vfmgfv-p1-reads

engine/review-fixes-vfmgfv-p2-container

engine/review-fixes-vfmgfv-p3-decl

engine/review-fixes-vfmgfv-pe-bytes

handoff/2026-10-14

ir-caller-reads

ir-result-carrier

lx-sparse-calls

master

r2il-hardening

rebuild-sync-master

refactor_fold

symex-rewrite

#1

#10

#100

#101

#102

#103

#104

#105

#106

#107

#108

#109

#11

#110

#111

#112

#113

#114

#115

#116

#117

#118

#119

#12

#120

#122

#123

#124

#126

#127

#129

#13

#130

#131

#132

#133

#135

#136

#137

#138

#139

#14

#140

#141

#142

#143

#144

#145

#146

#147

#148

#149

#15

#150

#151

#152

#153

#154

#155

#156

#157

#158

#159

#16

#160

#161

#162

#163

#164

#166

#167

#168

#169

#17

#170

#171

#172

#173

#174

#175

#176

#177

#178

#179

#18

#180

#181

#182

#183

#184

#185

#186

#187

#188

#189

#19

#191

#192

#193

#194

#195

#196

#197

#198

#199

#2

#20

#200

#201

#202

#203

#204

#205

#206

#207

#208

#21

#210

#211

#212

#213

#214

#215

#216

#217

#219

#22

#220

#221

#222

#223

#224

#225

#226

#227

#228

#229

#23

#230

#231

#232

#233

#234

#235

#237

#238

#239

#24

#240

#241

#243

#244

#245

#246

#247

#248

#249

#25

#250

#252

#253

#254

#255

#256

#257

#258

#259

#26

#260

#261

#262

#263

#264

#265

#266

#267

#268

#269

#27

#270

#271

#272

#273

#274

#275

#276

#277

#278

#279

#28

#280

#281

#282

#283

#284

#285

#286

#287

#288

#289

#29

#290

#291

#292

#293

#294

#295

#296

#297

#298

#299

#3

#30

#300

#301

#302

#303

#304

#305

#306

#307

#308

#309

#31

#310

#311

#312

#313

#314

#315

#316

#317

#318

#319

#32

#320

#321

#322

#323

#324

#325

#326

#327

#328

#329

#33

#331

#332

#333

#334

#335

#336

#34

#35

#36

#37

#38

#39

#4

#40

#40/merge

#41

#42

#43

#44

#45

#46

#5

#6

#62

#64

#66

#67

#68

#69

#7

#70

#71

#72

#73

#74

#76

#77

#78

#8

#80

#81

#83

#84

#85

#86

#87

#88

#89

#9

#90

#91

#92

#93

#94

#95

#96

#98

#99

Mono Color

• 14d384c3ba Merge pull request #336 from radareorg/noreturn-guard master potato 2026-11-03 12:25:02 +05:30
• 25b14d681e Merge pull request #335 from radareorg/decbench-2026-10-24 potato 2026-11-03 12:24:46 +05:30
• 8d0b37f48d ROADMAP: D65 holds the DecBench 2026-10-24 numbers, and the README names the latest record Priyanshu KumarandClaude Sonnet 5.5 2026-10-24 03:37:02 +05:30
• 9bafe84a77 DecBench 2026-10-24: r2s at master 7f696784, D65 renders 86 import-stub functions Priyanshu KumarandClaude Sonnet 5.5 2026-10-24 03:35:46 +05:30
• 980088861b Tests: the noreturn guard golden says why first_or_die is only on AArch64 Priyanshu KumarandClaude Sonnet 5.5 2026-10-24 03:30:52 +05:30
• 445b4c45a7 ROADMAP: D75 as built and measured after review, D67 corrected, D76 for the placement writer's stack overflow, D77 for the closed pipe test Priyanshu KumarandClaude Sonnet 5.5 2026-10-24 03:26:52 +05:30
• 6633b90497 doc: the select ADR's counts come from ternary_census.py, and the noreturn guard's cost and depth are stated with their measurements Priyanshu KumarandClaude Sonnet 5.5 2026-10-24 03:12:11 +05:30
• 48afb4a7a1 r2s tests: a pipe a test closes stays open in a spawn in flight, so spawns and the two closing tests take one lock Priyanshu KumarandClaude Sonnet 5.5 2026-10-24 03:12:09 +05:30
• 1134e17e71 Tests: an empty then arm and an exit under a then arm through the engine, and an exit guard on real GCC output for x86-64 and AArch64 Priyanshu KumarandClaude Sonnet 5.5 2026-10-24 03:12:07 +05:30
• bcdb6063c2 r2dec: the noreturn guard reads a chain of guards in one pass and recurses no deeper than its kept arms Priyanshu KumarandClaude Sonnet 5.5 2026-10-24 03:12:04 +05:30
• 638adc88ae r2dec: the guard's tests cover each rule the first review's mutants got through Priyanshu KumarandClaude Sonnet 5.5 2026-10-24 03:11:49 +05:30
• ad64676a82 doc: the noreturn guard's invariant, owner, evidence and measurements; ROADMAP D75 Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 19:20:12 +05:30
• 09d2bb4fc1 doc: when a select may be spelled as an if (Proposed, nothing built) Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 19:20:12 +05:30
• 00f779c9d6 r2dec: the guard's tests state a condition chain on both arms Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 19:06:48 +05:30
• 7f696784f7 Merge pull request #334 from radareorg/decbench-2026-10-23 potato 2026-10-23 19:01:51 +05:30
• 23728d11cb r2dec: two arms that both end in a call that never returns leave neither as the guard Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 18:39:48 +05:30
• 089bfd5023 r2dec: an else arm that never returns is a guard on the opposite test Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 18:14:36 +05:30
• 363c4ad9b5 r2dec: an arm that ends in a call that never returns is a guard, and the else's statements follow the if Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 17:49:17 +05:30
• a0d9e34aa2 ROADMAP: the typed-values design ranks the type fixes by measured expectation, and records what it found Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 17:33:03 +05:30
• 32a74ae756 show_function: the source is the unit the DWARF names for the function's address Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 17:10:25 +05:30
• 274d16bab6 mined_set: a rendering is scored against the unit its address belongs to, not the first unit with its name Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 17:09:43 +05:30
• 29b545af0a r2s_timing: a binary is found by stem, and one that is not found is a counted row Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 17:07:48 +05:30
• afd4915aa8 show_function: --no-source --graphs loads the project instead of raising UnboundLocalError Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 17:06:42 +05:30
• 129021c789 ROADMAP: D69, a function a change moves is executed against its base on real binaries Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 15:27:54 +05:30
• 8deffb0a28 ROADMAP: DecBench 2026-10-23 corrects the ranking, and D67 ranks the next fixes by measured ceiling Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 10:18:19 +05:30
• 0d4c33d9c1 ROADMAP: D47's mined-set comparison is in the tree, D66 for the lost-row gate and the time checkpoint Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 09:54:06 +05:30
• 001ef1053d DecBench: the mined-set comparison of two r2s builds lives in the tree Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 09:53:32 +05:30
• b6fce39b59 DecBench report: compare decompilers over the rows all of them scored, and stop when one lost a project Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 09:49:17 +05:30
• 499180ed21 DecBench run: stop on a lost evaluation, refuse parallel workers for a big binary Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 09:47:08 +05:30
• f71bfcd366 DecBench backend: checkpoint every 30 seconds and at the end, and resume from a checkpoint Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 09:44:13 +05:30
• 015dc23e9a r2s_batch hands each answer to on_answer while r2s is still running Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 09:41:17 +05:30
• cb8b39af64 DecBench 2026-10-23: r2s at the structurer stack's tip, the bash evaluation hole of 2026-10-17, and the type_match and GED causes Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 09:23:30 +05:30
• e2159180cb D65: a stub is the stated import's only where its transfer reaches that import Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 17:21:44 +05:30
• 298ae95b5d D65: a function is an import stub only where the program says its address is one Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 10:14:30 +05:30
• c38d63f467 ADR, ROADMAP: D68 lands, and D58's two wrong numbers and its "2 fewer" are corrected Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 16:08:21 +05:30
• 390c172892 scripts: D68's mutation target, 25 mutants of the dominance checks and the tests that kill each Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 16:08:21 +05:30
• 7dd5399475 Docs: the spelling order of a block is not what keeps a test from reading an unset copy Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 15:35:13 +05:30
• 91feab1b82 r2ssa: a test knob states the lane unsoundly, so each defence is shown to hold alone Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 15:33:23 +05:30
• d5616bc422 r2dec: the production write order is compiled and pinned under test Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 15:08:36 +05:30
• 3faa44e588 Census: orders fingerprints a refused function, so a verdict that moves inside a refusal is seen Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 15:08:36 +05:30
• 3b3d55f7bf r2dec: a name is read as a variable only where its definition has run Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 15:02:33 +05:30
• 59250cd291 r2ssa: a call argument is a lane only where its definition has run, and boundary facts are checked Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 14:59:44 +05:30
• 45670918c3 Tests: a call argument is never a lane only the other arm assigns, under every write order Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 14:49:36 +05:30
• 8d719d4e7d ADR, ROADMAP: the guards and the spelling order are stacked and measured together Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 10:58:43 +05:30
• f2256c1aaa ADR, ROADMAP: D58 lands; D62 to D64 carry what is left Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 07:23:18 +05:30
• 29f7a0d26b Render: a merge entered late by an irreducible edge is read on that edge's promise, and spelled again if it breaks Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 06:38:52 +05:30
• de1412dd41 Census: orders renders every function under each write order and compares what must not move Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 06:19:49 +05:30
• e65447a9e6 Values: a gapped forward copy and a late forward edge leave refusal evidence Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 06:19:38 +05:30
• d78fbf6fc4 Values: a merge reads as a variable only when every forward edge in renders its copy Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 05:57:22 +05:30
• 13769b53c8 Render: D2 spells every block once, in reverse postorder, before control places any Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 05:53:32 +05:30
• 9cdc09d0a7 Placement: a test-only feature permutes the order blocks are written in Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 05:44:42 +05:30
• 8afd1f5479 DomTree: a back edge is stated once, and placement asks it Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 05:34:05 +05:30
• 9b96fe8d0c CI: the toolchain download rotates mirrors on the runner image's mirror list Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 14:49:58 +05:30
• 0b38b6cee0 ADR, ROADMAP: S5 and S6 die to an engine test, so D61 keeps only the three census-only guards Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 09:01:04 +05:30
• 45dd3d5771 Test: an arm ending in a call that never returns is read so at every stage and at the end Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 08:59:56 +05:30
• 135aaba14c ADR, ROADMAP: D59 and D60 are done, with what the sweep, the corpus and the timing showed, and D61 holds the rest Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 08:56:20 +05:30
• 7bce562950 Test: a loop that leaves on a chain reaches rotate::negated's De Morgan branch end to end Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 08:55:08 +05:30
• ace176383e Test: rotate::negated's De Morgan branch is reached by a unit test Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 08:22:28 +05:30
• 8acf3ca8af Tests: two comments of this branch are two lines Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 07:53:35 +05:30
• 32fe1ac1b7 Structure: three survivors of the skeptic's mutants are dead code, a missing assertion and an equal mutant Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 07:51:28 +05:30
• 59f329e847 Structure: the certificate reads a block's statements, and a chain member is a test whose text is nothing else Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 07:39:10 +05:30
• dec758fc37 Test: each guard of the latch hoist has an engine test that fails without it Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 06:30:19 +05:30
• ecfc697e89 Structure: a chain whose exit is a continue to its own head is certified Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 06:28:47 +05:30
• 39a1edad05 ROADMAP: D60, the structurer's data guards and a copy's statements; D58 and D38 carry the skeptic's and the shard's measurements Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 04:21:15 +05:30
• ee96b881f0 Test: a stage that fails its certificate leaves no markers and none of its text Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 04:14:10 +05:30
• 1c6f9de017 ADR, ROADMAP: the timing bound is the range measured, with the peak RSS Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 01:41:39 +05:30
• 3668d5def5 ROADMAP: D58's repro counts name the builds they were measured at Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 01:41:15 +05:30
• 004b36e335 ADR, ROADMAP: SD records the chains and the tails as one stack, measured together, with what is left Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 01:33:51 +05:30
• 3b124cd255 Test: a conjunction whose arms join at one return is one test with a return in each arm Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 00:01:47 +05:30
• 6e052ee3b0 Structure: bless long_comments 2568 to 2566 over the stack of chains and tails Priyanshu KumarandClaude Sonnet 5.5 2026-10-22 23:39:31 +05:30
• 309c35e8ea Render: the stages take one Evidence, so structured keeps five parameters and render fits its lines Priyanshu KumarandClaude Sonnet 5.5 2026-10-22 23:39:19 +05:30
• 63f9618d17 Census: bless the stack of chains and tails, each moved line read as the sum of the two branches Priyanshu KumarandClaude Sonnet 5.5 2026-10-22 23:36:10 +05:30
• 6631526ebc ROADMAP: D58, a rendering decision depends on facts, not on the order blocks are written Priyanshu KumarandClaude Sonnet 5.5 2026-10-22 22:48:09 +05:30
• 7c65ed62c6 Render: a callee's declaration is its first call's in address order, whichever block is written first Priyanshu KumarandClaude Sonnet 5.5 2026-10-22 22:47:57 +05:30
• 0f569ed900 SD: the structurer ADR and ROADMAP row state the three recoveries, their measured gains and the work left Priyanshu KumarandClaude Sonnet 5.5 2026-10-22 17:53:46 +05:30
• 7bfe519493 Structure: a tail runs through the blocks that follow it and through jumps to other tails Priyanshu KumarandClaude Sonnet 5.5 2026-10-22 17:48:54 +05:30
• 27e08a8ce1 Structure: a skipped block is copied to the arms that fall to it before a terminal block is copied to its jumps Priyanshu KumarandClaude Sonnet 5.5 2026-10-22 17:45:31 +05:30
• 13a1dd188e Structure: inline_exits partitions its exits so the nesting count does not rise Priyanshu KumarandClaude Sonnet 5.5 2026-10-22 16:28:14 +05:30
• 146667d391 Structure: the comments of the three recoveries are two lines Priyanshu KumarandClaude Sonnet 5.5 2026-10-22 16:19:15 +05:30
• 58e8cb80ef Structure: an exit with one way in and a closed dominator subtree is written where its edge leaves the loop Priyanshu KumarandClaude Sonnet 5.5 2026-10-22 16:13:15 +05:30
• e2d49662b8 Structure: a terminal block of at most four statements is written at each jump to it Priyanshu KumarandClaude Sonnet 5.5 2026-10-22 15:54:41 +05:30
• 075952ff13 Structure: a return of a merge of distinct values is written in each arm that falls to it Priyanshu KumarandClaude Sonnet 5.5 2026-10-22 15:49:08 +05:30
• 97ee4f009a CI: each toolchain download try asks another Ubuntu mirror, since five tries against one stalled for 90 seconds each Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 06:13:49 +05:30
• 9ddea6f3ed CI: the toolchain download gives up after 90 seconds and tries five times, since a healthy fetch takes 14 Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 06:00:37 +05:30
• 7cb1032529 Structure: a function's reads are counted once for its latches, so nested loops no longer rescan their bodies Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 05:36:00 +05:30
• 28a85e7e63 Structure: a sequence's regions are indexed once, so k chains in n statements cost O(n + chains), not O(k*n) Priyanshu KumarandClaude Sonnet 5.5 2026-10-23 05:21:00 +05:30
• 0a654255df ADR, ROADMAP: SD records condition chains, while/do-while and latch copies, their measured effect on the mined set and what is left Priyanshu KumarandClaude Sonnet 5.5 2026-10-22 17:37:42 +05:30
• 1b173c1a55 Structure: a rotated loop's test is read with the polarity it is written, so a dropped negation is refused Priyanshu KumarandClaude Sonnet 5.5 2026-10-22 22:25:02 +05:30
• feb8a9f24b Structure: the chain, rotation and latch stages owe the ratchets nothing Priyanshu KumarandClaude Sonnet 5.5 2026-10-22 17:36:01 +05:30
• 1b4ec62b97 Structure: a latch's merge copies are written before its test, so the loop is a do-while Priyanshu KumarandClaude Sonnet 5.5 2026-10-22 17:22:14 +05:30
• 665b472cbc Structure: a loop whose header tests first is a while, and one whose latch tests last is a do-while Priyanshu KumarandClaude Sonnet 5.5 2026-10-22 16:59:04 +05:30
• 0ee4f5aa09 Structure: nested tests that fail to one exit are one && or || test, proven by BDD identity Priyanshu KumarandClaude Sonnet 5.5 2026-10-22 16:36:14 +05:30
• 12657b3d14 r2ssa: a block that owes nothing but its branch is a stated fact, for a test to move out of it Priyanshu KumarandClaude Sonnet 5.5 2026-10-22 16:35:29 +05:30
• ddd38e69f9 Merge pull request #327 from radareorg/plt-refusal-cause potato 2026-10-22 20:32:30 +05:30
• cb16ec2e19 CI: one job fetches the AArch64 toolchain packages and the eighteen shards unpack them Priyanshu KumarandClaude Sonnet 5.5 2026-10-22 19:27:08 +05:30
• ef068ecd09 Structure: bless after the review fixes of #324 to #327, long_comments 2571 to 2568 Priyanshu KumarandClaude Sonnet 5.5 2026-10-22 16:46:28 +05:30
• aebb3f619b I: an image whose only loader words are resolver slots still has its linkage stubs read Priyanshu KumarandClaude Sonnet 5.5 2026-10-22 16:29:41 +05:30
• 2133487dab Structure: bless after the batch-4 stack, too_many_lines 249 to 248 and long_comments 2575 to 2571 Priyanshu KumarandClaude Sonnet 5.5 2026-10-22 14:24:07 +05:30
• e4212a0f59 I: the stub reader's comment is two lines Priyanshu KumarandClaude Sonnet 5.5 2026-10-18 12:35:48 +05:30
• b9fa8ec38a ROADMAP: I and RF, stubs through unbound slots as starts and the cause of an unbuilt SSA named Priyanshu KumarandClaude Sonnet 5.5 2026-10-18 03:02:53 +05:30