CROSSINGTUD / CryptoAnalysis

CogniCrypt_SAST: CrySL-to-Static Analysis Compiler
Eclipse Public License 2.0
63 stars 39 forks source link

Add components for advanced transformation #683

Closed smeyer198 closed 1 month ago

smeyer198 commented 1 month ago

269 mentioned some unsupported features regarding the extraction of transformed parameter, e.g. Strings that are manipulated with replace. This PR adds the required components for dealing with transformed values while extracting corresponding variables. With this, CryptoAnalysis can deal with Integer.parseInt, String.replace, String.toCharArray, String.getBytes, BigInteger.valueOf, Array.length, Hex.decode, String.toUpperCase, and String.toLowerCase.

Further transformations may be added in the future