Anthropic i firma Theorem wykorzystali Claude'a do formalnej weryfikacji istniejącego oprogramowania. W kilka tygodni model wygenerował około 180 mln linii dowodów matematycznych i przy okazji znalazł setki błędów, których nie wychwyciły zwykłe testy. Artykuł Claude udowodnił bezpieczeństwo kodu 123...
źródło: https://aisight.pl/technologia/generatywna-ai/llm/claude-bezpieczenstwo-kodu-open-source/
dodano: 23-10-2026 14:57:11
Inne znaleziska:
Bezpieczeństwo kodu generowanego przez AI: Claude Code przoduje w liczbie luk CVE
crn.pl
Korzystanie ze sztucznej inteligencji przy pisaniu kodu nie oznacza, że jest on bardziej bezpieczny Artykuł Bezpieczeństwo kodu generowanego przez AI: Claude Code przoduje w liczbie luk CVE pochodzi z serwisu CRN.
crn.pl
27-03-2026 12:56:08
27-03-2026 12:56:08
Jak złośliwa konfiguracja w Claude Code umożliwiała zdalne wykonanie kodu i wykradanie kluczy API
feedburner.com
Badacze z Check Point Research odkryli podatności w Claude Code (Anthropic), które pozwalają atakującym na zdalne wykonanie kodu i kradzież kluczy API. Luki wykorzystują różne mechanizmy konfiguracji, w tym Hooks, serwery Model Context Protocol (MCP)...
feedburner.com
12-03-2026 17:19:06
12-03-2026 17:19:06
Programujesz? Zadbaj o bezpieczeństwo swojego kodu. Dzień Programisty 2025 w Helion.pl. Rabaty do -90%!
feedburner.com
13 września obchodzimy Dzień Programisty – święto twórców cyfrowego świata. W dobie rosnących zagrożeń, ataków na API, podatności w aplikacjach LLM i wycieków danych, bezpieczeństwo kodu jest ważniejsze niż kiedykolwiek wcześniej. Z tej okazji...
feedburner.com
11-09-2025 09:35:16
11-09-2025 09:35:16
Ponad 100 tysięcy złotych na kolejną miejską stronę. Miasto nie ma praw do kodu. Pytania o koszty i bezpieczeństwo
pulskrakowa.pl
Miasto Kraków wydało ponad 100 tysięcy złotych na stworzenie kolejnej strony internetowej . Jak ustalił Puls Krakowa, magistrat nie posiada
pulskrakowa.pl
16-02-2026 16:43:13
16-02-2026 16:43:13
Pokaz Gothic Remake udowodnił mi, że jego twórcy słuchają głosu fanów. Największe obawy budzi optymalizacja
gry-online.pl
Wiedząc, że na gamescomie będę miał okazję zobaczyć kolejne fragmenty odświeżonego Gothica, nastawiałem się na różne scenariusze. Czy twórcom, nawet tylko za zamkniętymi drzwiami, udało się zaprezentować coś sprawiającego, że na remake będę czekał z...
gry-online.pl
23-08-2025 18:27:10
23-08-2025 18:27:10
Niebezpieczne połączenia barier na polskich drogach. Udowodnił to crash test
brd24.pl
W Polsce nikt nie bada połączeń różnych typów barier na drogach. Tymczasem te miejsca potrafią być śmiertelnie niebezpieczne. Pokazali to eksperci, którzy na torze testowym w Inowrocławiu rozbili samochód osobowy Bariery otaczają wiele polskich tras....
brd24.pl
24-10-2025 18:15:41
24-10-2025 18:15:41
Remont zamiast wyburzenia - jak Quay Quarter Tower udowodnił, że przyszłość architektury to upcykling
kb.pl
W świecie, w którym nowe inwestycje architektoniczne często oznaczają wyburzenia, kurz i tony gruzu, projekt Quay Quarter Tower z Sydney udowadnia, że można inaczej. Zamiast burzyć przestarzały biurowiec z lat 70., architekci postanowili tchnąć w nie...
kb.pl
26-10-2025 13:52:39
26-10-2025 13:52:39
Samsung z baterią 9600 mAh. Nietypowy eksperyment udowodnił jedno
android.com.pl
Regularnie już czytamy o smartfonach z bateriami o pojemnościach ponad 10 000 mAh. Tymczasem Samsung dalej uparcie dostarcza flagowce, które potrafią mieć szokująco małe baterie 4300 mAh. Taki moduł spotkamy np. w standardowym Galaxy S26. Jeden z int...
android.com.pl
06-03-2026 18:56:05
06-03-2026 18:56:05
Ten atak hakerski udowodnił, że stara zasada jest już do wyrzucenia
android.com.pl
To kolejny atak hakerski, który swoją kreatywnością zaskoczył nawet wieloletnich badaczy złośliwego oprogramowania. Do tej pory zasada była jasna. Wirusy, robaki i konie trojańskie znajdowały się raczej w plikach wykonywalnych (EXE, BAT, etc.) Teraz...
android.com.pl
28-03-2026 16:20:22
28-03-2026 16:20:22