Bukowski. Um projeto para demonstrar falhas de soluções de segurança populares
Baixe Agora

Bukowski. Classificação e resumo

Bukowski. Tag

motor segurança verificação de segurança Motor de mutação mutação

Bukowski. Descrição

Um projeto para demonstrar falhas de soluções de segurança populares Bukowski foi criado para demonstrar que as soluções de segurança mais usadas de hoje, como DAC ou randomização de VMA, não são suficientes; Assim, outras abordagens (como mac ou design por contrato) devem ser seriamente tomadas em consideração. O que há de novo nesta versão: · A principal mudança aqui é que agora é possível fazer substituição básica de instrução. O exemplo em Grammar.xml não é totalmente funcional porque eu só adicionei uma operação "negar" até agora. No entanto, há muitas regras que podem ser escritas para x86-32 usando a substituição de instrução básica. · Assim que mais operações (incluindo restrições) forem adicionadas, significativamente mais serão possíveis. Por outro lado, há muitos mais trabalho para fazer. Por uma coisa, muito disso precisa de alguma refatoração grave. Estou considerando esta versão do motor para ser um protótipo bastante difícil. Além disso, a composição da regra não é possível ainda (para disponibilizar as exclusões de não terminais). · Então, embora, isso é muito "prototipito", estamos bem em nosso caminho para ter um motor de mutação de instrução de gramática totalmente funcional.

Bukowski. Software Relacionado