Voglio eseguire analisi di taint sui programmi java. Voglio farlo trovando funzioni chiamate, variabile in modifica, accesso alla variabile. Quindi la mia domanda è: come posso fare questo? Penso che i parser Java possano essere usati qui. Ma dovrò implementare la mia logica per trovare la variabile a cui si accede e modificata. Quindi voglio sapere se esiste già una libreria di alto livello per questo?