Skip to content

Commit a9458ba

Browse files
committed
Formatting, removing dead comments,
1 parent d988afd commit a9458ba

File tree

1 file changed

+3
-9
lines changed

1 file changed

+3
-9
lines changed

cpp/ql/lib/experimental/Quantum/OpenSSL/EVPCipherOperation.qll

Lines changed: 3 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -46,14 +46,12 @@ abstract class EVP_Final_Call extends EVP_Cipher_Operation {
4646
}
4747

4848
class EVP_Cipher_Call extends EVP_Cipher_Operation {
49-
// TODO/QUESTION: what is the better way to do this?
5049
EVP_Cipher_Call() { this.(Call).getTarget().getName() = "EVP_Cipher" }
5150

5251
override Expr getInputArg() { result = this.(Call).getArgument(2) }
5352
}
5453

5554
class EVP_Encrypt_Decrypt_or_Cipher_Update_Call extends EVP_Update_Call {
56-
// TODO/QUESTION: what is the better way to do this?
5755
EVP_Encrypt_Decrypt_or_Cipher_Update_Call() {
5856
this.(Call).getTarget().getName() in [
5957
"EVP_EncryptUpdate", "EVP_DecryptUpdate", "EVP_CipherUpdate"
@@ -64,10 +62,8 @@ class EVP_Encrypt_Decrypt_or_Cipher_Update_Call extends EVP_Update_Call {
6462
}
6563

6664
class EVP_Encrypt_Decrypt_or_Cipher_Final_Call extends EVP_Final_Call {
67-
// TODO/QUESTION: what is the better way to do this?
6865
EVP_Encrypt_Decrypt_or_Cipher_Final_Call() {
69-
this.(Call).getTarget().getName() in
70-
[
66+
this.(Call).getTarget().getName() in [
7167
"EVP_EncryptFinal_ex", "EVP_DecryptFinal_ex", "EVP_CipherFinal_ex", "EVP_EncryptFinal",
7268
"EVP_DecryptFinal", "EVP_CipherFinal"
7369
]
@@ -77,11 +73,9 @@ class EVP_Encrypt_Decrypt_or_Cipher_Final_Call extends EVP_Final_Call {
7773
class EVPCipherOutput extends CipherOutputArtifact {
7874
EVPCipherOutput() { exists(EVP_Cipher_Operation op | op.getOutputArg() = this) }
7975

80-
override DataFlow::Node getOutputNode(){
81-
result.asExpr() = this
82-
}
76+
override DataFlow::Node getOutputNode() { result.asExpr() = this }
8377
}
8478

8579
class EVPCipherInputArgument extends Expr {
8680
EVPCipherInputArgument() { exists(EVP_Cipher_Operation op | op.getInputArg() = this) }
87-
}
81+
}

0 commit comments

Comments
 (0)