hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-18 01:33:15 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
alexet/avoid-path-node-java
codeql/java/ql/lib/ext/generated/javax.smartcardio.model.yml

79 lines
9.2 KiB
YAML
Raw Permalink Blame History

# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
- addsTo:
pack: codeql/java-all
extensible: summaryModel
data:
- ["javax.smartcardio", "ATR", False, "ATR", "(byte[])", "", "Argument[0]", "Argument[this].SyntheticField[javax.smartcardio.ATR.atr]", "value", "dfc-generated"]
- ["javax.smartcardio", "ATR", False, "getBytes", "()", "", "Argument[this].SyntheticField[javax.smartcardio.ATR.atr]", "ReturnValue", "value", "dfc-generated"]
- ["javax.smartcardio", "ATR", False, "getHistoricalBytes", "()", "", "Argument[this].SyntheticField[javax.smartcardio.ATR.atr]", "ReturnValue", "taint", "dfc-generated"]
- ["javax.smartcardio", "Card", True, "getATR", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["javax.smartcardio", "Card", True, "getBasicChannel", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["javax.smartcardio", "Card", True, "openLogicalChannel", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["javax.smartcardio", "CardChannel", True, "getCard", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["javax.smartcardio", "CardException", True, "CardException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["javax.smartcardio", "CardException", True, "CardException", "(String,Throwable)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["javax.smartcardio", "CardException", True, "CardException", "(String,Throwable)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
- ["javax.smartcardio", "CardException", True, "CardException", "(Throwable)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["javax.smartcardio", "CardNotPresentException", True, "CardNotPresentException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["javax.smartcardio", "CardNotPresentException", True, "CardNotPresentException", "(String,Throwable)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["javax.smartcardio", "CardNotPresentException", True, "CardNotPresentException", "(String,Throwable)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
- ["javax.smartcardio", "CardNotPresentException", True, "CardNotPresentException", "(Throwable)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["javax.smartcardio", "CardPermission", True, "CardPermission", "(String,String)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]
- ["javax.smartcardio", "CardTerminal", True, "connect", "(String)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["javax.smartcardio", "CardTerminal", True, "getName", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["javax.smartcardio", "CommandAPDU", False, "CommandAPDU", "(byte[])", "", "Argument[0]", "Argument[this].SyntheticField[javax.smartcardio.CommandAPDU.apdu]", "value", "dfc-generated"]
- ["javax.smartcardio", "CommandAPDU", False, "CommandAPDU", "(byte[],int,int)", "", "Argument[0]", "Argument[this].SyntheticField[javax.smartcardio.CommandAPDU.apdu]", "taint", "dfc-generated"]
- ["javax.smartcardio", "CommandAPDU", False, "CommandAPDU", "(int,int,int,int,byte[])", "", "Argument[4]", "Argument[this].SyntheticField[javax.smartcardio.CommandAPDU.apdu]", "taint", "dfc-generated"]
- ["javax.smartcardio", "CommandAPDU", False, "CommandAPDU", "(int,int,int,int,byte[],int)", "", "Argument[4]", "Argument[this].SyntheticField[javax.smartcardio.CommandAPDU.apdu]", "taint", "dfc-generated"]
- ["javax.smartcardio", "CommandAPDU", False, "CommandAPDU", "(int,int,int,int,byte[],int,int)", "", "Argument[4]", "Argument[this].SyntheticField[javax.smartcardio.CommandAPDU.apdu]", "taint", "dfc-generated"]
- ["javax.smartcardio", "CommandAPDU", False, "CommandAPDU", "(int,int,int,int,byte[],int,int,int)", "", "Argument[4]", "Argument[this].SyntheticField[javax.smartcardio.CommandAPDU.apdu]", "taint", "dfc-generated"]
- ["javax.smartcardio", "CommandAPDU", False, "getBytes", "()", "", "Argument[this].SyntheticField[javax.smartcardio.CommandAPDU.apdu]", "ReturnValue", "value", "dfc-generated"]
- ["javax.smartcardio", "CommandAPDU", False, "getData", "()", "", "Argument[this].SyntheticField[javax.smartcardio.CommandAPDU.apdu]", "ReturnValue", "taint", "dfc-generated"]
- ["javax.smartcardio", "ResponseAPDU", False, "ResponseAPDU", "(byte[])", "", "Argument[0]", "Argument[this].SyntheticField[javax.smartcardio.ResponseAPDU.apdu]", "value", "dfc-generated"]
- ["javax.smartcardio", "ResponseAPDU", False, "getBytes", "()", "", "Argument[this].SyntheticField[javax.smartcardio.ResponseAPDU.apdu]", "ReturnValue", "value", "dfc-generated"]
- ["javax.smartcardio", "ResponseAPDU", False, "getData", "()", "", "Argument[this].SyntheticField[javax.smartcardio.ResponseAPDU.apdu]", "ReturnValue", "taint", "dfc-generated"]
- ["javax.smartcardio", "TerminalFactory", False, "getInstance", "(String,Object)", "", "Argument[0]", "ReturnValue.SyntheticField[javax.smartcardio.TerminalFactory.type]", "value", "dfc-generated"]
- ["javax.smartcardio", "TerminalFactory", False, "getInstance", "(String,Object,Provider)", "", "Argument[0]", "ReturnValue.SyntheticField[javax.smartcardio.TerminalFactory.type]", "value", "dfc-generated"]
- ["javax.smartcardio", "TerminalFactory", False, "getInstance", "(String,Object,String)", "", "Argument[0]", "ReturnValue.SyntheticField[javax.smartcardio.TerminalFactory.type]", "value", "dfc-generated"]
- ["javax.smartcardio", "TerminalFactory", False, "getProvider", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["javax.smartcardio", "TerminalFactory", False, "getType", "()", "", "Argument[this].SyntheticField[javax.smartcardio.TerminalFactory.type]", "ReturnValue", "value", "dfc-generated"]
- addsTo:
pack: codeql/java-all
extensible: neutralModel
data:
- ["javax.smartcardio", "Card", "beginExclusive", "()", "summary", "df-generated"]
- ["javax.smartcardio", "Card", "disconnect", "(boolean)", "summary", "df-generated"]
- ["javax.smartcardio", "Card", "endExclusive", "()", "summary", "df-generated"]
- ["javax.smartcardio", "Card", "getProtocol", "()", "summary", "df-generated"]
- ["javax.smartcardio", "Card", "transmitControlCommand", "(int,byte[])", "summary", "df-generated"]
- ["javax.smartcardio", "CardChannel", "close", "()", "summary", "df-generated"]
- ["javax.smartcardio", "CardChannel", "getChannelNumber", "()", "summary", "df-generated"]
- ["javax.smartcardio", "CardChannel", "transmit", "(ByteBuffer,ByteBuffer)", "summary", "df-generated"]
- ["javax.smartcardio", "CardChannel", "transmit", "(CommandAPDU)", "summary", "df-generated"]
- ["javax.smartcardio", "CardPermission", "implies", "(Permission)", "summary", "df-generated"]
- ["javax.smartcardio", "CardTerminal", "isCardPresent", "()", "summary", "df-generated"]
- ["javax.smartcardio", "CardTerminal", "waitForCardAbsent", "(long)", "summary", "df-generated"]
- ["javax.smartcardio", "CardTerminal", "waitForCardPresent", "(long)", "summary", "df-generated"]
- ["javax.smartcardio", "CardTerminals", "getTerminal", "(String)", "summary", "df-generated"]
- ["javax.smartcardio", "CardTerminals", "list", "()", "summary", "df-generated"]
- ["javax.smartcardio", "CardTerminals", "list", "(CardTerminals$State)", "summary", "df-generated"]
- ["javax.smartcardio", "CardTerminals", "waitForChange", "()", "summary", "df-generated"]
- ["javax.smartcardio", "CardTerminals", "waitForChange", "(long)", "summary", "df-generated"]
- ["javax.smartcardio", "CommandAPDU", "CommandAPDU", "(ByteBuffer)", "summary", "df-generated"]
- ["javax.smartcardio", "CommandAPDU", "CommandAPDU", "(int,int,int,int)", "summary", "df-generated"]
- ["javax.smartcardio", "CommandAPDU", "CommandAPDU", "(int,int,int,int,int)", "summary", "df-generated"]
- ["javax.smartcardio", "CommandAPDU", "getCLA", "()", "summary", "df-generated"]
- ["javax.smartcardio", "CommandAPDU", "getINS", "()", "summary", "df-generated"]
- ["javax.smartcardio", "CommandAPDU", "getNc", "()", "summary", "df-generated"]
- ["javax.smartcardio", "CommandAPDU", "getNe", "()", "summary", "df-generated"]
- ["javax.smartcardio", "CommandAPDU", "getP1", "()", "summary", "df-generated"]
- ["javax.smartcardio", "CommandAPDU", "getP2", "()", "summary", "df-generated"]
- ["javax.smartcardio", "ResponseAPDU", "getNr", "()", "summary", "df-generated"]
- ["javax.smartcardio", "ResponseAPDU", "getSW1", "()", "summary", "df-generated"]
- ["javax.smartcardio", "ResponseAPDU", "getSW2", "()", "summary", "df-generated"]
- ["javax.smartcardio", "ResponseAPDU", "getSW", "()", "summary", "df-generated"]
- ["javax.smartcardio", "TerminalFactory", "getDefault", "()", "summary", "df-generated"]
- ["javax.smartcardio", "TerminalFactory", "getDefaultType", "()", "summary", "df-generated"]
- ["javax.smartcardio", "TerminalFactory", "terminals", "()", "summary", "df-generated"]
Reference in New Issue View Git Blame Copy Permalink