​​​​​AdaCore schnappt sich Dresdner Cybersecurity-Experten
#AdaCore #Componolist #Cybersecurity #Sicherheit #Softwareentwicklung #Verifikation

AdaCore kauft Componolit․ Die 2017 gegründete IT-Sicherheits-Firma ist auf die Anwendung formaler Methoden zum Testen von Software spezialisiert․

​​​​​Codeanalyse: CodeSentry 2․0 bietet Risiko-Score für Sicherheitsschwachstellen
#CodeSentry #Cybersecurity #GrammaTech

Das Tool zur statischen Codeanalyse erlaubt per Executive Dashboard auch die Risiko-Scores von Code aus Drittanbietersoftware zu überblicken․