Addressing post-quantum cryptography with CodeQL · HackerTrans