Sign in

Repository Index

47,133 repositories indexed

Tag: All Tags
Tag
Filters (1)

Filters

Clear all filters

1–5 of 5 · Most stars

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

  • static-analysis
  • software-verification
  • abstract-interpretation
  • program-analysis

Free SDR receiver for macOS, Windows and Linux: digital TV (DVB-T/T2, DVB-C, DVB-S/S2, ATSC, ISDB-T, DTMB), DAB+, FM, DRM, aviation (ADS-B, ACARS, VDL2), satellites, GNSS, ham modes (FT8, PSK31, CW), digital voice, cell towers and a spectrum analyser. HackRF, RTL-SDR, Airspy, SDRplay, BladeRF, LimeSDR, Pluto, USRP.

  • atsc
  • dab
  • digital-tv
  • dvb-t

eBPF verifier based on abstract interpretation

  • abstract-interpretation
  • static-analyzer
  • ebpf
  • ebpf-verifier