It accomplishes this by using, extending and expanding on known techniques for safety-oriented source code analysis - including abstract interpretations, deductive verifications and model checking.
Jest to możliwe poprzez użycie, rozszerzenie i rozwinięcie znanych technik analizy kodu źródłowego pod względem bezpieczeństwa, co obejmuje abstrakcyjne interpretacje, weryfikacje dedukcyjne i weryfikację modelową.
Within its three and a half years timeframe, the project defined, implemented and distributed a toolbox - a set of source code analysis tools - capable of verifying the security properties of applications written in C, C++ and Java.
W czasie 3,5 roku trwania projektu naukowcom udało się zdefiniować, wdrożyć i rozpowszechnić zestaw narzędzi do analizy kodu źródłowego, który umożliwia weryfikację właściwości bezpieczeństwa aplikacji napisanych w językach C, C++ i Java.
And instead of providing the jury with the detailed source code analysis, with the detailed analysis of those documents, or with testimony from these witnesses who developed the products, you chose instead to rely primarily on a presentation you developed with Google's lawyers.
I zamiast przedstawić szczegółową analizę kodu źródłowego, szczegółową analizę dokumentów albo zeznania świadków, którzy opracowali produkty, pani postanowiła oprzeć się na prezentacji opracowanej z prawnikami Google.
EU-researchers have developed a set of source code analysis tools capable of verifying the security properties of applications written in C, C++ and Java.
Naukowcy z UE opracowali zestaw narzędzi do analizy kodu źródłowego umożliwiających weryfikację właściwości bezpieczeństwa aplikacji napisanych w językach C, C++ i Java.
Note that C4droid chooses app mode using a very simple source code analysis
Zauważ, że C4droid wybiera tryb aplikacji za pomocą bardzo prostej analizy kodu źródłowego
clFrex cIFrex is a web application, which supports source code analysis in terms of security.
clFrex cIFrex jest aplikacją web, która wspiera analizę kodu źródłowego pod kątem bezpieczeństwa.
Contains the set of source code analysis and refactoring tools. Has an easy... 10 Jul 15 in Developer Tools, Interpreters&Compilers
Zawiera zestaw analizy kodu źródłowego i narzędzi... 10 Jul 15 W Narzędzia dla programistów, Tłumaczy i kompilatory Windows
cIFrex is a web application, which supports source code analysis in terms of security.
cIFrex to webowy skaner kodu źródłowego wspierający analizę kodu pod kątem bezpieczeństwa.
The main part of the HippoEDIT is sophisticated source code editor, optimized for source code analysis.
Główną częścią aplikacji HippoEDIT jest zaawansowany edytor kodu źródłowego, zoptymalizowany pod kątem jego analizy.
Conținut posibil inadecvat
Exemplele au rolul de a te ajuta să traduci cuvinte sau expresii corect si adaptat la context. Nu sunt selectate sau validate manual, așadar pot conține termeni inadecvați. Te rugăm să raportezi exemplele pe care le consideri inadecvate. Traducerile vulgare sau colocviale sunt în general marcate cu roșu sau cu portocaliu.
Nici un rezultat pentru acest sens.
Sinonime și analogii pentru "source code analysis" în limba Română