Predicate forbiddenStaticFieldUse

Gets an access to a non-final static field in callable c that is disallowed by the EJB specification.

Import path


                                import semmle.code.java.frameworks.javaee.ejb.EJBRestrictions


                            
                                
                                    FieldAccess
                                
                                 
                            
                            
                                forbiddenStaticFieldUse
                            
                            
                                (
                                
                                    
                                        Callable
                                    
                                     
                                    c
                                
                                )