Vysvětlení abstraktní interpretace: Od teorie mřížky k inferu a astrée
IN-COM 20. července, 2026 Analýza kódu, Kontrola kódu, Modernizace dat, Vývojáři, Software pro analýzu dopadů, Starší systémyUvažujme dva programy, které oba projdou všemi testy, které napíšete. Jeden je správný. Druhý má chybu dělení nulou, která...
Přečíst více
Zastaralé přístupy k modernizaci systémů: Od metody „zvedni a posuň“ k metodě „škrticí obr“
IN-COM 16. července, 2026 Starší systémy, Analýza kódu, Dodržování, DataKaždá organizace, která provozuje starší systémy, čelí stejnému základnímu napětí. Systémy jsou příliš cenné na to, aby se jich zbavili, a příliš drahé na to, aby...
Přečíst více
Statická analýza kódu pro zabezpečení: Jak SAST řeší 10 nejčastějších zranitelností OWASP
IN-COM 14. července, 2026 Kontrola kódu, Správa dat, Software pro analýzu dopadů, Tech TalkBezpečnostním zranitelnostem je snazší předcházet, než je opravovat. Chyba způsobená SQL injection odhalená při kontrole kódu stojí minuty...
Přečíst více
Jak principy čistého kódu proměňují vaše zkušenosti s programováním
IN-COM 8. července, 2026 Analýza kódu, Kontrola kódu, Tech TalkKód se napíše jednou a přečte stokrát. Vývojář, který píše funkci, je zřídka ten, kdo...
Přečíst více
Zastaralý kód: Varování, které stále ignorujete, nakonec všechno zničí
IN-COM 6. července, 2026 Modernizace aplikací, Analýza kódu, Software pro analýzu dopadůKaždý softwarový projekt se nakonec setká se zastaralým kódem, komponentami označenými jako zastaralé, nedoporučované nebo naplánované k odstranění. Anotace @deprecated v...
Přečíst více
Intraprocedurální vs. interprocedurální analýza: Proč rozdíl určuje, co zjistíte
IN-COM 3. července, 2026 Modernizace aplikací, Analýza kódu, Kontrola kódu, Modernizace dat, Analýza dopadůSpusťte ESLint na souboru JavaScript se zranitelností typu SQL injection a test projde hladce. Spusťte CodeQL na...
Přečíst více