List of all annotations understood by the Julia analyzer   as of version 2.6.2 (built on 7 Dec 2018)

The following is the list of all annotations that are understood by the checkers of the Julia analyzer. Click on the name of a checker to see its detailed documentation.


  • @com.juliasoft.julia.checkers.SuppressJuliaWarnings  [by all checkers]
  • @com.juliasoft.julia.checkers.absOfRandom.IntegralRandom  [by checker AbsOfRandom]
  • @com.juliasoft.julia.checkers.absOfRandom.YieldsAbsoluteValueOfItsArgument  [by checker AbsOfRandom]
  • @com.juliasoft.julia.checkers.approximation.UselessIfIntegral  [by checker Approximation]
  • @com.juliasoft.julia.checkers.authentication.YieldsHostName  [by checker Authentication]
  • @com.juliasoft.julia.checkers.basicNullness.NullnessShouldBeChecked  [by checker BasicNullness]
  • @com.juliasoft.julia.checkers.callsOnArray.ReceivesACallToToString  [by checker CallsOnArray]
  • @com.juliasoft.julia.checkers.closeWhereCreated.AutoClosedResource  [by checker CloseResource]
  • @com.juliasoft.julia.checkers.closeWhereCreated.CanBeInitializedInTryWithResource  [by checker CloseResource]
  • @com.juliasoft.julia.checkers.closeWhereCreated.ResourceThatDoesNotNeedToBeClosed  [by checker CloseResource]
  • @com.juliasoft.julia.checkers.closeWhereCreated.ResourceThatMustBeClosed  [by checker CloseResource]
  • @com.juliasoft.julia.checkers.concurrency.MonitorEnter  [by checker Concurrency]
  • @com.juliasoft.julia.checkers.concurrency.MonitorExit  [by checker Concurrency]
  • @com.juliasoft.julia.checkers.cookie.MightCreateCookie  [by checker Cookie]
  • @com.juliasoft.julia.checkers.cookie.SecureCookie  [by checker Cookie]
  • @com.juliasoft.julia.checkers.cryptography.ShouldBeRobustCryptographicAlgorithm  [by checker Cryptography]
  • @com.juliasoft.julia.checkers.cryptography.ShouldBeRobustHashingAlgorithm  [by checker Cryptography]
  • @com.juliasoft.julia.checkers.equalsHashCode.ImplementsEqualsThatChecksAllFields  [by checker EqualsHashCode]
  • @com.juliasoft.julia.checkers.equalsHashCode.IrrelevantForEquals  [by checker EqualsHashCode]
  • @com.juliasoft.julia.checkers.flows.OsTrusted  [by checker Injection]
  • @com.juliasoft.julia.checkers.flows.UntrustedDatabase  [by checkers BasicInjection and Injection]
  • @com.juliasoft.julia.checkers.flows.UntrustedDevice  [by checkers BasicInjection and Injection]
  • @com.juliasoft.julia.checkers.flows.UntrustedEnvironment  [by checkers BasicInjection and Injection]
  • @com.juliasoft.julia.checkers.flows.UntrustedExternalStream  [by checkers BasicInjection and Injection]
  • @com.juliasoft.julia.checkers.flows.UntrustedUserInput  [by checkers BasicInjection and Injection]
  • @com.juliasoft.julia.checkers.gdpr.LeakagePoint  [by checker Gdpr]
  • @com.juliasoft.julia.checkers.gdpr.SensitiveData  [by checker Gdpr]
  • @com.juliasoft.julia.checkers.guardedBy.GetsLocked  [by checkers GuardedBy and Concurrency]
  • @com.juliasoft.julia.checkers.guardedBy.GetsUnlocked  [by checkers GuardedBy and Concurrency]
  • @com.juliasoft.julia.checkers.guardedBy.GuardedBy  [by checker GuardedBy]
  • @com.juliasoft.julia.checkers.guardedBy.Holding  [by checker GuardedBy]
  • @com.juliasoft.julia.checkers.inefficientConstruction.InefficientConstruction  [by checker InefficientConstruction]
  • @com.juliasoft.julia.checkers.injection.AddressTrusted  [by checker Injection]
  • @com.juliasoft.julia.checkers.injection.AttributeTrusted  [by checker Injection]
  • @com.juliasoft.julia.checkers.injection.BoundaryTrusted  [by checker Injection]
  • @com.juliasoft.julia.checkers.injection.CodeTrusted  [by checker Injection]
  • @com.juliasoft.julia.checkers.injection.CommandTrusted  [by checker Injection]
  • @com.juliasoft.julia.checkers.injection.ControlTrusted  [by checker Injection]
  • @com.juliasoft.julia.checkers.injection.CrossSiteTrusted  [by checker Injection]
  • @com.juliasoft.julia.checkers.injection.DenialTrusted  [by checker Injection]
  • @com.juliasoft.julia.checkers.injection.DeviceTrusted  [by checker Injection]
  • @com.juliasoft.julia.checkers.injection.EvalTrusted  [by checker Injection]
  • @com.juliasoft.julia.checkers.injection.FilterTrusted  [by checker Injection]
  • @com.juliasoft.julia.checkers.injection.HttpResponseImmediatelyTrusted  [by checker Injection]
  • @com.juliasoft.julia.checkers.injection.HttpResponseTrusted  [by checker Injection]
  • @com.juliasoft.julia.checkers.injection.LogTrusted  [by checker Injection]
  • @com.juliasoft.julia.checkers.injection.MessageTrusted  [by checker Injection]
  • @com.juliasoft.julia.checkers.injection.PathTrusted  [by checker Injection]
  • @com.juliasoft.julia.checkers.injection.ReflectionTrusted  [by checker Injection]
  • @com.juliasoft.julia.checkers.injection.ResourceTrusted  [by checker Injection]
  • @com.juliasoft.julia.checkers.injection.SessionTrusted  [by checker Injection]
  • @com.juliasoft.julia.checkers.injection.SqlTrusted  [by checker Injection]
  • @com.juliasoft.julia.checkers.injection.Trusted  [by checker Injection]
  • @com.juliasoft.julia.checkers.injection.UrlTrusted  [by checker Injection]
  • @com.juliasoft.julia.checkers.injection.XPathTrusted  [by checker Injection]
  • @com.juliasoft.julia.checkers.intents.ReadIntentExtra  [by checker Intents]
  • @com.juliasoft.julia.checkers.intents.WriteIntentExtra  [by checker Intents]
  • @com.juliasoft.julia.checkers.ldap.LDAPPoisoningIfTrue  [by checker Ldap]
  • @com.juliasoft.julia.checkers.leak.OSControlledLifecycle  [by checker Leak]
  • @com.juliasoft.julia.checkers.nullness.NonNull  [by checkers BasicNullness and Nullness]
  • @com.juliasoft.julia.checkers.nullness.Nullable  [by checker Nullness]
  • @com.juliasoft.julia.checkers.passwords.Password  [by checker Passwords]
  • @com.juliasoft.julia.checkers.production.NotInProduction  [by checker Production]
  • @com.juliasoft.julia.checkers.production.UseLogInsteadInProduction  [by checker Production]
  • @com.juliasoft.julia.checkers.resources.FileName  [by checker Resources]
  • @com.juliasoft.julia.checkers.unusedReturnValue.ReturnValueShouldBeUsed  [by checker UnusedReturnValue]
  • @com.juliasoft.julia.checkers.unusedReturnValue.TolerateUselessCall  [by checker UnusedReturnValue]
  • @com.juliasoft.julia.checkers.uselessCall.UselessCall  [by checker UselessCall]
  • @com.juliasoft.julia.checkers.uselessTest.ExpectedFalse  [by checker UselessTest]
  • @com.juliasoft.julia.checkers.uselessTest.ExpectedTrue  [by checker UselessTest]
  • @com.juliasoft.julia.extraction.Closed  [by all checkers]
  • @com.juliasoft.julia.extraction.EntryPoint  [by all checkers]
  • @com.juliasoft.julia.extraction.ExternallyRead  [by all checkers]
  • @com.juliasoft.julia.extraction.Injected  [by all checkers]
  • @com.juliasoft.julia.extraction.StatisticallyClosed  [by all checkers]