engineering/java-topology
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Migrated from https://git2.unturf.com/engineering/java-topology.git
582 commits 2 branches 0 tags 239 MiB
Find a file
russell@unturf.com ae6e04c5bd feat: add lean4-0004 through lean4-0007 patches 
lean4-0004: collapse 3-phase lock in ir_interpreter lookup_symbol to single unique_lock
lean4-0005: replace IO.Ref JobQueue with Std.Mutex in Lake job registry
lean4-0006: register thread-local reset for g_opts in kernel/trace.cpp
lean4-0007: build unordered_set of override keys outside env-var loop (Windows)
2026-04-13 10:24:23 -04:00
.github undefect. CWE-407 — 63 sites patched across 27 ecosystems 2026-03-26 17:11:57 -04:00
.jcheck undefect. CWE-407 — 63 sites patched across 27 ecosystems 2026-03-26 17:11:57 -04:00
bin undefect. CWE-407 — 63 sites patched across 27 ecosystems 2026-03-26 17:11:57 -04:00
defects feat: add lean4-0004 through lean4-0007 patches 2026-04-13 10:24:23 -04:00
doc undefect. CWE-407 — 63 sites patched across 27 ecosystems 2026-03-26 17:11:57 -04:00
docs scan: lean4 — 7 defect tickets (4x MOAD-0001, 2x MOAD-0005, 1x MOAD-0003) 2026-04-13 08:34:02 -04:00
make undefect. CWE-407 — 63 sites patched across 27 ecosystems 2026-03-26 17:11:57 -04:00
scanner scanner: undfscand v1.0.0 — UNDF patch verification scanner (C/pthreads) 2026-03-29 21:07:54 -04:00
src undefect. CWE-407 — 92 sites, 42 ecosystems 2026-03-26 19:48:18 -04:00
test undefect. CWE-407 — 63 sites patched across 27 ecosystems 2026-03-26 17:11:57 -04:00
tests feat: add scan_verify.py + check_coverage.py for all 1258 UNDF indicators 2026-04-12 16:15:01 -04:00
tools wave15: v8-0002/0003 Intl+revectorizer (125x/25x) + bullet/box2d ticket files — 528/240 2026-03-27 19:16:28 -04:00
whitepaper outreach: add lean4 disclosure brief — 7 defects, MOAD references 2026-04-13 09:27:50 -04:00
.editorconfig undefect. CWE-407 — 92 sites, 42 ecosystems 2026-03-26 19:48:18 -04:00
.gitattributes undefect. CWE-407 — 92 sites, 42 ecosystems 2026-03-26 19:48:18 -04:00
.gitignore undf: stamp patches (kdenlive-0010, krita-0001/0002); gitignore minecraft server artifacts 2026-04-03 15:06:14 -04:00
.gitlab-ci.yml scanner: undfscand v1.0.0 — UNDF patch verification scanner (C/pthreads) 2026-03-29 21:07:54 -04:00
ADDITIONAL_LICENSE_INFO undefect. CWE-407 — 92 sites, 42 ecosystems 2026-03-26 19:48:18 -04:00
ASSEMBLY_EXCEPTION undefect. CWE-407 — 92 sites, 42 ecosystems 2026-03-26 19:48:18 -04:00
CLAUDE.md docs: document scanner improvement loop in CLAUDE.md 2026-04-12 17:43:44 -04:00
compile-unit-tests.sh nmap-0002 + haproxy-0004 + nginx-0004 + weechat-0003 + zeek-0002 + curl-0004: 6 new CWE-407 defects in network tools; count 693→699 2026-03-29 22:22:11 -04:00
configure undefect. CWE-407 — 92 sites, 42 ecosystems 2026-03-26 19:48:18 -04:00
CONTRIBUTING.md undefect. CWE-407 — 92 sites, 42 ecosystems 2026-03-26 19:48:18 -04:00
GNUmakefile wave8 complete + outreach: 452/202, 40 outreach briefs, buck2/ant CLEAN 2026-03-27 16:45:01 -04:00
LICENSE undefect. CWE-407 — 92 sites, 42 ecosystems 2026-03-26 19:48:18 -04:00
Makefile scanner: undfscand v1.0.0 — UNDF patch verification scanner (C/pthreads) 2026-03-29 21:07:54 -04:00
README.md undefect. CWE-407 — 92 sites, 42 ecosystems 2026-03-26 19:48:18 -04:00
SCAN-TODO.md scan-todo: add lean4 wave 35, add Priority 4c formal methods section 2026-04-13 09:08:56 -04:00
SECURITY.md undefect. CWE-407 — 92 sites, 42 ecosystems 2026-03-26 19:48:18 -04:00
UNDF-REGISTRY.json feat: add UNDF-2026-000001266 (salt-0004) and UNDF-2026-000001267 (ansible-0004) CWE-1333 2026-04-13 09:56:20 -04:00

README.md

Welcome to the JDK!

For build instructions please see the online documentation, or either of these files:

See https://openjdk.org/ for more information about the OpenJDK Community and the JDK and see https://bugs.openjdk.org for JDK issue tracking.