Class SecureASTCustomizer
- java.lang.Object
-
- org.codehaus.groovy.control.customizers.CompilationCustomizer
-
- org.codehaus.groovy.control.customizers.SecureASTCustomizer
-
- All Implemented Interfaces:
CompilationUnit.IPrimaryClassNodeOperation
public class SecureASTCustomizer extends CompilationCustomizer
This customizer allows securing source code by controlling what code constructs are allowed. For example, if you only want to allow arithmetic operations in a groovy shell, you can configure this customizer to restrict package imports, method calls and so on.Most of the security customization options found in this class work with either blacklist or whitelist. This means that, for a single option, you can set a whitelist OR a blacklist, but not both. You can mix whitelist/blacklist strategies for different options. For example, you can have import whitelist and tokens blacklist.
The recommended way of securing shells is to use whitelists because it is guaranteed that future features of the Groovy language won't be allowed by defaut. Using blacklists, you can limit the features of the languages by opting out, but new language features would require you to update your configuration.
If you set neither a whitelist nor a blacklist, then everything is authorized.
Combinations of import and star imports constraints are authorized as long as you use the same type of list for both. For example, you may use an import whitelist and a star import whitelist together, but you cannot use an import white list with a star import blacklist. static imports are handled separately, meaning that blacklisting an import does not prevent from using a static import.
Eventually, if the features provided here are not sufficient, you may implement custom AST filtering handlers, either implementing the
SecureASTCustomizer.StatementChecker
interface orSecureASTCustomizer.ExpressionChecker
interface then register your handlers thanks to theaddExpressionCheckers(org.codehaus.groovy.control.customizers.SecureASTCustomizer.ExpressionChecker...)
andaddStatementCheckers(org.codehaus.groovy.control.customizers.SecureASTCustomizer.StatementChecker...)
methods.Here is an example of usage. We will create a groovy classloader which only supports arithmetic operations and imports the java.lang.Math classes by default.
final ImportCustomizer imports = new ImportCustomizer().addStaticStars('java.lang.Math') // add static import of java.lang.Math final SecureASTCustomizer secure = new SecureASTCustomizer() secure.with { closuresAllowed = false methodDefinitionAllowed = false importsWhitelist = [] staticImportsWhitelist = [] staticStarImportsWhitelist = ['java.lang.Math'] // only java.lang.Math is allowed tokensWhitelist = [ PLUS, MINUS, MULTIPLY, DIVIDE, MOD, POWER, PLUS_PLUS, MINUS_MINUS, COMPARE_EQUAL, COMPARE_NOT_EQUAL, COMPARE_LESS_THAN, COMPARE_LESS_THAN_EQUAL, COMPARE_GREATER_THAN, COMPARE_GREATER_THAN_EQUAL, ].asImmutable() constantTypesClassesWhiteList = [ Integer, Float, Long, Double, BigDecimal, Integer.TYPE, Long.TYPE, Float.TYPE, Double.TYPE ].asImmutable() receiversClassesWhiteList = [ Math, Integer, Float, Double, Long, BigDecimal ].asImmutable() } CompilerConfiguration config = new CompilerConfiguration() config.addCompilationCustomizers(imports, secure) GroovyClassLoader loader = new GroovyClassLoader(this.class.classLoader, config)
- Since:
- 1.8.0
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static interface
SecureASTCustomizer.ExpressionChecker
This interface allows the user to plugin custom expression checkers if expression blacklist or whitelist are not sufficientprotected class
SecureASTCustomizer.SecuringCodeVisitor
This visitor directly implements theGroovyCodeVisitor
interface instead of using theCodeVisitorSupport
class to make sure that future features of the language gets managed by this visitor.static interface
SecureASTCustomizer.StatementChecker
This interface allows the user to plugin custom statement checkers if statement blacklist or whitelist are not sufficient
-
Constructor Summary
Constructors Constructor Description SecureASTCustomizer()
-
Method Summary
-
Methods inherited from class org.codehaus.groovy.control.customizers.CompilationCustomizer
getPhase
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface org.codehaus.groovy.control.CompilationUnit.IPrimaryClassNodeOperation
doPhaseOperation, needSortedInput
-
-
-
-
Method Detail
-
isMethodDefinitionAllowed
public boolean isMethodDefinitionAllowed()
-
setMethodDefinitionAllowed
public void setMethodDefinitionAllowed(boolean methodDefinitionAllowed)
-
isPackageAllowed
public boolean isPackageAllowed()
-
isClosuresAllowed
public boolean isClosuresAllowed()
-
setClosuresAllowed
public void setClosuresAllowed(boolean closuresAllowed)
-
setPackageAllowed
public void setPackageAllowed(boolean packageAllowed)
-
setStaticImportsBlacklist
public void setStaticImportsBlacklist(List<String> staticImportsBlacklist)
-
setStaticImportsWhitelist
public void setStaticImportsWhitelist(List<String> staticImportsWhitelist)
-
setStaticStarImportsBlacklist
public void setStaticStarImportsBlacklist(List<String> staticStarImportsBlacklist)
-
setStaticStarImportsWhitelist
public void setStaticStarImportsWhitelist(List<String> staticStarImportsWhitelist)
-
getExpressionsBlacklist
public List<Class<? extends Expression>> getExpressionsBlacklist()
-
setExpressionsBlacklist
public void setExpressionsBlacklist(List<Class<? extends Expression>> expressionsBlacklist)
-
getExpressionsWhitelist
public List<Class<? extends Expression>> getExpressionsWhitelist()
-
setExpressionsWhitelist
public void setExpressionsWhitelist(List<Class<? extends Expression>> expressionsWhitelist)
-
setStatementsBlacklist
public void setStatementsBlacklist(List<Class<? extends Statement>> statementsBlacklist)
-
setStatementsWhitelist
public void setStatementsWhitelist(List<Class<? extends Statement>> statementsWhitelist)
-
isIndirectImportCheckEnabled
public boolean isIndirectImportCheckEnabled()
-
setIndirectImportCheckEnabled
public void setIndirectImportCheckEnabled(boolean indirectImportCheckEnabled)
Set this option to true if you want your import rules to be checked against every class node. This means that if someone uses a fully qualified class name, then it will also be checked against the import rules, preventing, for example, instantiation of classes without imports thanks to FQCN.- Parameters:
indirectImportCheckEnabled
- set to true to enable indirect checks
-
setTokensBlacklist
public void setTokensBlacklist(List<Integer> tokensBlacklist)
Sets the list of tokens which are blacklisted.- Parameters:
tokensBlacklist
- the tokens. The values of the tokens must be those ofTypes
-
setTokensWhitelist
public void setTokensWhitelist(List<Integer> tokensWhitelist)
Sets the list of tokens which are whitelisted.- Parameters:
tokensWhitelist
- the tokens. The values of the tokens must be those ofTypes
-
addStatementCheckers
public void addStatementCheckers(SecureASTCustomizer.StatementChecker... checkers)
-
addExpressionCheckers
public void addExpressionCheckers(SecureASTCustomizer.ExpressionChecker... checkers)
-
setConstantTypesBlackList
public void setConstantTypesBlackList(List<String> constantTypesBlackList)
-
setConstantTypesWhiteList
public void setConstantTypesWhiteList(List<String> constantTypesWhiteList)
-
setConstantTypesClassesWhiteList
public void setConstantTypesClassesWhiteList(List<Class> constantTypesWhiteList)
An alternative way of setting constant types.- Parameters:
constantTypesWhiteList
- a list of classes.
-
setConstantTypesClassesBlackList
public void setConstantTypesClassesBlackList(List<Class> constantTypesBlackList)
An alternative way of setting constant types.- Parameters:
constantTypesBlackList
- a list of classes.
-
setReceiversBlackList
public void setReceiversBlackList(List<String> receiversBlackList)
Sets the list of classes which deny method calls. Please note that since Groovy is a dynamic language, and this class performs a static type check, it will be reletively simple to bypass any blacklist unless the receivers blacklist contains, at a minimum, Object, Script, GroovyShell, and Eval. Additionally, it is necessary to also blacklist MethodPointerExpression in the expressions blacklist for the receivers blacklist to function as a security check.- Parameters:
receiversBlackList
- the list of refused classes, as fully qualified names
-
setReceiversClassesBlackList
public void setReceiversClassesBlackList(List<Class> receiversBlacklist)
An alternative way of settingreceiver classes
.- Parameters:
receiversBlacklist
- a list of classes.
-
setReceiversWhiteList
public void setReceiversWhiteList(List<String> receiversWhiteList)
Sets the list of classes which may accept method calls.- Parameters:
receiversWhiteList
- the list of accepted classes, as fully qualified names
-
setReceiversClassesWhiteList
public void setReceiversClassesWhiteList(List<Class> receiversWhitelist)
An alternative way of settingreceiver classes
.- Parameters:
receiversWhitelist
- a list of classes.
-
call
public void call(SourceUnit source, GeneratorContext context, ClassNode classNode) throws CompilationFailedException
- Throws:
CompilationFailedException
-
createGroovyCodeVisitor
protected GroovyCodeVisitor createGroovyCodeVisitor()
-
checkMethodDefinitionAllowed
protected void checkMethodDefinitionAllowed(ClassNode owner)
-
filterMethods
protected static List<MethodNode> filterMethods(ClassNode owner)
-
assertStarImportIsAllowed
protected void assertStarImportIsAllowed(String packageName)
-
assertImportIsAllowed
protected void assertImportIsAllowed(String className)
-
-