RU

Как мы научили JavaScript анализатор понимать поток управления

Недавно в статический анализатор PVS-Studio была добавлена поддержка JavaScript/TypeScript, и он на старте умеет искать ошибки, связанные с потоком…

CFGстатический анализАнализ потока управленияjavascripttypescriptopen sourceкомпиляторыstatic analysiscompilerкомпилятор
Habr
RU

Сфера — полностью кириллический язык программирования: от «Привет, мир» до HTTP‑сервера и bare‑metal

На фоне десятков языков с привычным английским синтаксисом появление «Сферы» выглядит почти вызовом: это полностью кириллический язык прог…

Сфераязык программированиякомпиляторRustLLVMкириллицапакетный менеджермногопоточностьARCотладчик
Habr
RU

Я написал верификатор eBPF для микроконтроллера. А потом ядро Linux объяснило мне, где я неправ

Ученики подарили мне ESP32. В коробке было всё, что обычно: датчик температуры, реле, горсть светодиодов, круглый дисплей и провода, которых, как вы…

ebpfверификаторesp32микроконтроллерыlinux kernelкомпиляторинтерпретатор
Habr
RU

А чё, так можно было? Недокументированный C#

В C# есть четыре ключевых слова, которых нет в документации. Компилятор их принимает. Одно из них собирается на любой машине, а выполняется только н…

.NETC#недокументированные возможностиTypedReferenceключевые словаCLRрантаймкомпиляторвнутреннее устройствоотладка
Habr
RU

JSX для Go: как маленькая разметка потянула за собой рантайм, компилятор и кучу компромиссов

Я не начинал с идеи написать «убийцу JavaScript». Честно говоря, такие заявления обычно только мешают думать. Сначала была гораздо бо…

GoGolangWebAssemblyWASMJSXfrontendUIкомпиляторopen sourceGoFrame