trailofbits/multiplierIndicizza gli artefatti di build C/C++ in un database interrogabile dell'intero programma, esponendo API a livello di AST, token e IR per l'audit del codice e l'analisi delle vulnerabilità.
Multiplier offre capacità di comprensione del codice precise e complete. Lo fa salvando gli artefatti di build in un database e rendendoli persistentemente accessibili tramite un'API C++ o Python.
Multiplier enfatizza la capacità di identificare in modo univoco tutte le entità in un processo di build, inclusi token individuali, nodi AST e rappresentazioni intermedie. Con Multiplier, un analista può identificare pattern di codice di interesse su una delle rappresentazioni e poi trasmettere accuratamente i risultati agli esseri umani in una forma leggibile o a script successivi tramite ID di entità.
Le API di Multiplier sono estese e spesso forniscono informazioni di qualità pari o superiore a quelle del compilatore, ma collegate a una granularità di intero programma. Ci piace dire che con le sue API, puoi arrivare ovunque da qualsiasi punto.
copy_to_user nel kernel Linux che sovrascrivono membri di array flessibiliQuesta ricerca è stata sviluppata con finanziamenti della Defense Advanced Research Projects Agency (DARPA). Le opinioni, i pareri e/o i risultati espressi sono quelli dell'autore e non devono essere interpretati come rappresentativi delle posizioni o delle politiche ufficiali del Dipartimento della Difesa o del Governo degli Stati Uniti.
Dichiarazione di distribuzione "A" (Approvato per la pubblicazione, distribuzione illimitata).