mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
10 lines
324 B
Plaintext
10 lines
324 B
Plaintext
import python
|
|
import lib.RecordedCalls
|
|
|
|
// Could be useful for deciding which new opcodes to support
|
|
from string op_name, int c
|
|
where
|
|
exists(XMLBytecodeUnknown unknown | unknown.get_opname_data() = op_name) and
|
|
c = count(XMLBytecodeUnknown unknown | unknown.get_opname_data() = op_name | 1)
|
|
select op_name, c order by c
|