File tree Expand file tree Collapse file tree 1 file changed +4
-0
lines changed Expand file tree Collapse file tree 1 file changed +4
-0
lines changed Original file line number Diff line number Diff line change @@ -539,6 +539,7 @@ module Cryptography {
539539
540540 /** A data flow node that initializes a hash algorithm. */
541541 abstract class HashInit extends DataFlow:: Node {
542+ /** Gets the hash algorithm being initialized. */
542543 abstract HashingAlgorithm getAlgorithm ( ) ;
543544 }
544545
@@ -549,6 +550,7 @@ module Cryptography {
549550
550551 /** A data flow node that initializes an encryption algorithm. */
551552 abstract class EncryptionInit extends DataFlow:: Node {
553+ /** Gets the encryption algorithm being initialized. */
552554 abstract EncryptionAlgorithm getAlgorithm ( ) ;
553555 }
554556
@@ -557,8 +559,10 @@ module Cryptography {
557559 * may also propagate taint for encryption algorithms.
558560 */
559561 abstract class BlockModeInit extends DataFlow:: CallNode {
562+ /** Gets the block cipher mode of operation being initialized. */
560563 abstract BlockMode getMode ( ) ;
561564
565+ /** Gets a step propagating the encryption algorithm through this call. */
562566 abstract predicate step ( DataFlow:: Node node1 , DataFlow:: Node node2 ) ;
563567 }
564568
You can’t perform that action at this time.
0 commit comments