Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

The following table lists the Java development guidelines in the book, "Java Coding Guidelines: 75 Recommendations for Reliable and Secure Programs", and states their applicability to the development of Android applications. Applicable means that the guideline can be applied to general Java platforms including Android. Applicable in principle means that the guideline can be applied to Android but the examples shown in the guideline are not relevant to AndroidThe top two tables list the Java rules and Java recommendations that are Applicable in principle, meaning that it can be applied to Android but the examples shown in the guideline are not relevant to Android, and in some cases the guideline's full description also needs edits (the latter are provided in the Comments column). Not applicable means that the guideline cannot The third table lists Unknown rules and recommendations, meaning that we have not yet determined if the guideline can be applied to Android platforms.

...

Contents

...

Table of Contents

Rules/Applicable in Principle to Android

Rule

Application Development?

Comments

IDS00-J. Sanitize untrusted data passed across a trust boundaryApplicable in principleThe rule uses MS SQL Server as an example to show a database connection. However, on Android, DatabaseHelper from SQLite is used for a database connection. Because Android apps may receive untrusted data via network connections, the rule is applicable.
IDS01-J. Normalize strings before validating themApplicable in principleAndroid apps can receive string data from the outside and normalize it.
IDS02-J. Canonicalize path names before validating themApplicable in principleThe rule is applicable in principle. Please refer to the Android specific instance of this rule: DRD08-J. Always canonicalize a URL received by a content provider.
IDS04-J. Safely extract files from ZipInputStreamApplicable in principleAlthough not directly a violation of this rule, the Android Master Key vulnerability (insecure use of ZipEntry) is related to this rule. Another attack vector found by a Chinese researcher is also related to this rule.
IDS07-J. Do not pass untrusted, unsanitized data to the Runtime.exec() methodApplicable in principleRuntime.exec() can be called from Android apps to execute operating system commands.
IDS09-J. Do not use locale-dependent methods on locale-dependent data without specifying the appropriate localeApplicable in principleA developer can specify locale on Android using java.util.Locale.
EXP01-J. Never dereference null pointersApplicable in principleAndroid applications are more sensitive to NullPointerException due to the constraint of the limited mobile device memory. Static members or members of an Activity may become null when memory runs out.
EXP06-J. Do not use side-effecting expressions in assertionsApplicable in principleThe assert statement is supported on the Dalvik VM but is ignored under the default configuration. Assertions may be enabled by setting the system property "debug.assert" via: adb shell setprop debug.assert 1 or by sending the command line argument "--enable-assert" to the Dalvik VM.
NUM00-J. Detect or prevent integer overflowApplicable in principle

Mezzofanti for Android contained an integer overflow which prevented the use of a big SD card. Mezzofanti contained an expression:

(int) StatFs.getAvailableBlocks() * (int) StatFs.getBlockSize()  

to calculate the available memory in a SD card, which could result in a negative value when the available memory is bigger than Integer.MAX_VALUE.

Note these methods are deprecated in API level 18 and replaced by getAvailableBlocksLong() and getBlockSizeLong().

NUM04-J. Do not use floating-point numbers if precise computation is requiredApplicable in principleThe use of floating-point is not recommended for performance reasons on Android.
NUM06-J. Use the strictfp modifier for floating-point calculation consistency across platformsApplicable in principle 
NUM11-J. Do not compare or inspect the string representation of floating-point valuesApplicable in principleComparing or inspecting the string representation of floating-point values may have unexpected results on Android.
OBJ03MET01-J. Do not mix generic with nongeneric raw types in new code[Applicable]<Could not find a page with this title.>MET01-J. Never use assertions Never use assertions to validate method argumentsApplicable in principleThe assert statement is supported on the Dalvik VM but is ignored under the default configuration. Assertions may be enabled by setting the system property "debug.assert" via: adb shell setprop debug.assert 1 or by sending the command line argument "--enable-assert" to the Dalvik VM.
MET02-J. Do not use deprecated or obsolete classes or methodsApplicable in principleThe Android SDK also has deprecated or obsolete APIs. Also, there may exist incompatible APIs depending on the SDK version. Therefore, it is recommended that developers refer to the "Android API Difference report" and consider replacing the deprecated APIs.
MET03-J. Methods that perform a security check must be declared private or finalApplicable in principleOn Android, System.getSecurityManager() is not used and the use of a Security Manager is not exercised. However, an Android developer can implement security-sensitive methods so the principle may be applicable on Android.
ERR09-J. Do not allow untrusted code to terminate the JVMApplicable in principleOn Android, System.exit() should not be used because it will terminate the virtual machine abruptly, ignoring the activity lifecycle which may prevent proper garbage collection.
LCK00-J. Use private final lock objects to synchronize classes that may interact with untrusted codeApplicable in principle 
LCK05-J. Synchronize access to static fields that can be modified by untrusted codeApplicable in principle 
LCK11-J. Avoid client-side locking when using classes that do not commit to their locking strategyApplicable in principle 
THI00-J. Do not invoke Thread.run()Applicable in principleAndroid Android provides a couple of solutions for threading. The Android Developers Blog's article "Painless threading" discusses those solutions.
THI02-J. Notify all waiting threads rather than a single threadApplicable in principle 
THI03-J. Always invoke wait() and await() methods inside a loopApplicable in principle 
THI04-J. Ensure that threads performing blocking operations can be terminatedApplicable in principle 
THI05-J. Do not use Thread.stop() to terminate threadsApplicable in principleOn Android, Thread.stop() was deprecated in API level 1.
TPS00-J. Use thread pools to enable graceful degradation of service during traffic burstsApplicable in principle 
TPS01-J. Do not execute interdependent tasks in a bounded thread poolApplicable in principle 
TPS02-J. Ensure that tasks submitted to a thread pool are interruptibleApplicable in principle 
TPS03-J. Ensure that tasks executing in a thread pool do not fail silentlyApplicable in principle 
TPS04-J. Ensure ThreadLocal variables are reinitialized when using thread poolsApplicable in principle 
TSM00-J. Do not override thread-safe methods with methods that are not thread-safeApplicable in principle 
TSM01-J. Do not let the this reference escape during object constructionApplicable in principle 
TSM02-J. Do not use background threads during class initializationApplicable in principle 
FIO00-J. Do not operate on files in shared directoriesApplicable in principleOn Android, the SD card ( / sdcard or /mnt/ sdcard ) is shared among multiple applications, thus sensitive files should not be stored on the SD card.
FIO01-J. Create files with appropriate access permissionsApplicable in principleCreating files Creating files with weak permissions may allow malicious applications to access the files.
FIO04-J. Release resources when they are no longer neededApplicable in principleThe compliant solution (Java SE 7: try-with-resources) is not yet supported at API level 18 (Android 4.3).
FIO06-J. Do not create multiple buffered wrappers on a single InputStreamApplicable in principle 
FIO08FIO13-J. Use an int to capture the return value of methods that read a character or byte[Applicable]<This page was deleted. We can ask for it to be undeleted. Please advise.>
FIO11-J. Do not attempt to read raw binary data as character data[Applicable]<The link on the left does not work. Please advise.>
FIO13-J. Do not log sensitive information outside a trust boundaryApplicable in principleDRD04-J. Do not log sensitive information is an Android specific instance of this rule.
Do not log sensitive information outside a trust boundaryDRD04-J. Do not log sensitive information is an Android specific instance of this rule.
FIO14-J. Perform proper cleanup at program terminationAlthough most of the code examples are not applicable to the Android platform, the principle is applicable to Android. There are a number of ways to terminate a process on Android: android.app.Activity.FIO14-J. Perform proper cleanup at program terminationApplicable in principleAlthough most of the code examples are not applicable to the Android platform, the principle is applicable to Android. There are a number of ways to terminate a process on Android: android.app.Activity.finish(), and the related finish... methods, android.app.Activity.moveTaskToBack(boolean flag), android.os.Process.killProcess(int pid), System.exit().
FIO15-J. Do not operate on untrusted file linksApplicable in principle 
SER04SEC01-J. Do not allow serialization and deserialization to bypass the security managerNot applicabletainted variables in privileged blocksThe code examples using the The java.security package exists on Android for compatibility purposes only and it should not be used.
SEC00-J. Do not allow privileged blocks to leak sensitive information across a trust boundaryNot applicableThe java.security package exists on Android for compatibility purposes only and it should not be used.
are not applicable to Android but the principle of the rule is applicable to Android apps.
SEC02-J. Do not base security checks on untrusted sourcesThe SEC01-J. Do not allow tainted variables in privileged blocksApplicable in principleThe code examples using the java.security package are not applicable to Android but the principle of the rule is applicable to Android apps.
SEC02SEC03-J. Do not base security checks on untrusted sourcesApplicable in principleThe code examples using the java.security package are not applicable to Android but the principle of the rule is applicable to Android apps.SEC03-J. Do not load trusted classes after allowing untrusted code to load arbitrary classesApplicable in principleload trusted classes after allowing untrusted code to load arbitrary classesOn Android, the use of DexClassLoader or PathClassLoader requires caution.
SEC04SEC05-J. Protect sensitive operations with security manager checksNot applicableThe java.security package exists on Android for compatibility purposes only and it should not be used.SEC05-J. Do not use reflection to Do not use reflection to increase accessibility of classes, methods, or fieldsApplicable in principleReflection can be used on Android so the rule is applicable. Also the use of reflection may allow a developer to access private Android APIs and so requires caution.
SEC06JNI03-J. Do not rely on the default automatic signature verification provided by URLClassLoader and java.util.jarNot applicable 
SEC07-J. Call the superclass's getPermissions() method when writing a custom class loaderNot applicableThe java.security package exists on Android for compatibility purposes only and it should not be used.
 JNI03-J. Do not use direct pointers to Java objects in JNI codeApplicable in principle Applicable to API versions 14 and above, with NDK versions 7 and above.
ENV00-J. Do not sign code that performs only unprivileged operationsNot applicableThe Android system uses code signing as a means of identifying the author of an application and establishing trust relationships between applications, not as a means of granting elevated privileges to code.
ENV01-J. Place all security-sensitive code in a single JAR and sign and seal itNot applicable java.security.AccessController exists on Android for compatibility purposes only and it should not be used.
ENV02-J. Do not trust the values of environment variablesApplicable in principleOn Android, the environment variable user.name is not used and is left blank. However, environment variables exist and are used on Android so the rule is applicable.
ENV03-J. Do not grant dangerous combinations of permissionsNot applicableThe java.security package exists on Android for compatibility purposes only and it should not be used. Android uses another permission mechanism for security purposes.
ENV04-J. Do not disable bytecode verificationApplicable in principleUnder the default settings, bytecode verification is enabled on the Dalvik VM. To change the settings use the adb shell to set the appropriate system property, for example: adb shell setprop dalvik.vm.dexopt-flags v=a or pass -Xverify:all as an argument to the Dalvik VM.
ENV05-J. Do not deploy an application that can be remotely monitoredNot applicableJVMTI is not supported on the Dalvik VM.
MSC03-J. Never hard code sensitive informationApplicable in principleHard coded information can be easily obtained on Android by using the apktool to decompile an application or by using dex2jar to convert a dex file to a jar file.

 

Recommendations

 

use direct pointers to Java objects in JNI code Applicable to API versions 14 and above, with NDK versions 7 and above.
ENV02-J. Do not trust the values of environment variablesOn Android, the environment variable user.name is not used and is left blank. However, environment variables exist and are used on Android so the rule is applicable.
ENV04-J. Do not disable bytecode verificationUnder the default settings, bytecode verification is enabled on the Dalvik VM. To change the settings use the adb shell to set the appropriate system property, for example: adb shell setprop dalvik.vm.dexopt-flags v=a or pass -Xverify:all as an argument to the Dalvik VM.
MSC03-J. Never hard code sensitive informationHard coded information can be easily obtained on Android by using the apktool to decompile an application or by using dex2jar to convert a dex file to a jar file.

 

Recommendations/Applicable in Principle to Android

Guideline

Comments

MSC59-J. Limit the lifetime of sensitive dataThe non-compliant code example is probably not problematic on Dalvik because each app has its own Dalvik VM and string objects would not be accessible from other apps (?)
SEC55-J. Ensure security-sensitive methods are called with validated argumentsOn Android, accessControlContext is not available.
IDS56-J. Prevent arbitrary file upload 
IDS51-J. Properly encode or escape output 
IDS52-J. Prevent code injectionScriptEngineManager is not included in the Android SDK.
IDS54-J. Prevent LDAP injectionApplicable in principle for android apps that tries to implement its own LDAP
SEC50-J. Avoid granting excess privilegesThe brief phrase for the guideline applies to Android. However, the current extended-text description for the guideline in the hardcopy book does not apply to Android, because Android does not use AccessController. The following text supplements that section, to make it applicable to Android.: An application should use as few "<uses-permission>"s in AndroidManifest.xml as possible. App developers should also avoid signature/system/dangerous permissions, and having a shared system UID. System API calls are code running as system, and apps which make system API calls require standard permissions the app must specify in the application manifest with "<uses-permission>". http://developer.android.com/guide/topics/manifest/uses-permission-element.html
SEC51-J. Minimize privileged codeThe brief phrase for the guideline applies to Android. However, the current extended-text description for the guideline in the hardcopy book does not apply to Android, because Android does not use AccessController. The following text supplements that section, to make it applicable to Android.: Minimize the code running as system, with permissions defined in another app’s manifest, or in shared user ID applications. System API calls are code running as system, and apps which make system API calls require standard permissions the app must specify in the application manifest with "<uses-permission>". Only applications which are signed with the same signature and also request the same sharedUserID are granted a shared user ID. Data/files stored by apps which share a user ID are accessible to all those apps.

http://developer.android.com/guide/topics/security/permissions.html

http://developer.android.com/guide/topics/manifest/uses-permission-element.html

SEC53-J. Define custom security permissions for fine-grained securityThe brief phrase for the guideline applies to Android. However, the current extended-text description for the guideline in the hardcopy book does not apply to Android. The following text supplements that section, to make it applicable to Android.: Applications are able to define their own new permissions, to restrict access to their components by other applications. Applications indicate the procedure the system should follow when determining whether to grant another app the permission, depending on protectionLevel – e.g., setting protectionLevel to “signature” so it is automatically granted to other applications requesting the permission which are signed with the same key. In addition to defining their own new permissions, applications can declare the requirement for (self-defined, other-app-defined, or system-defined) permissions, to restrict access to their components by other applications.
FIO51-J. Identify files using multiple file attributesOn Android, better to use openFileOutput/openFileInput for file I/O.
MSC60-J. Do not use assertions to verify the absence of runtime errorsOn Android, assert() is ignored by default.
FIO50-J. Do not make assumptions about file creationOn Android, java.nio.file is not available.
Guideline
Applicable to Android Application Development?
Comments
MSC59-J. Limit the lifetime of sensitive dataApplicable in principleThe non-compliant code example is probably not problematic on Dalvik because each app has its own Dalvik VM and string objects would not be accessible from other apps (?)FIO52-J. Do not store unencrypted sensitive information on the client sideApplicable OBJ56-J. Provide sensitive mutable classes with unmodifiable wrappersUnknown?SEC55-J. Ensure security-sensitive methods are called with validated argumentsApplicable in principleOn Android, accessControlContext is not available.IDS56-J. Prevent arbitrary file uploadApplicable in principle IDS51-J. Properly encode or escape outputApplicable in principle IDS52-J. Prevent code injectionApplicable in principleScriptEngineManager is not included in the Android SDK.IDS53-J. Prevent XPath InjectionApplicable IDS54-J. Prevent LDAP injectionApplicable in principleApplicable in principle for android apps that tries to implement its own LDAPMET52-J. Do not use the clone method to copy untrusted method parametersApplicable MET56-J. Do not use Object.equals() to compare cryptographic keysApplicable MSC61-J. Do not use insecure or weak cryptographic algorithmsApplicable MSC62-J. Store passwords using a hash functionApplicable MSC63-J. Ensure SecureRandom is properly seededApplicable OBJ57-J. Do not rely on overridden methods provided by untrusted codeApplicable SEC50-J. Avoid granting excess privilegesApplicable in principleThe brief phrase for the guideline applies to Android. However, the current extended-text description for the guideline in the hardcopy book does not apply to Android, because Android does not use AccessController. The following text supplements that section, to make it applicable to Android.: An application should use as few "<uses-permission>"s in AndroidManifest.xml as possible. App developers should also avoid signature/system/dangerous permissions, and having a shared system UID. System API calls are code running as system, and apps which make system API calls require standard permissions the app must specify in the application manifest with "<uses-permission>". http://developer.android.com/guide/topics/manifest/uses-permission-element.htmlSEC51-J. Minimize privileged codeApplicable in principleThe brief phrase for the guideline applies to Android. However, the current extended-text description for the guideline in the hardcopy book does not apply to Android, because Android does not use AccessController. The following text supplements that section, to make it applicable to Android.: Minimize the code running as system, with permissions defined in another app’s manifest, or in shared user ID applications. System API calls are code running as system, and apps which make system API calls require standard permissions the app must specify in the application manifest with "<uses-permission>". Only applications which are signed with the same signature and also request the same sharedUserID are granted a shared user ID. Data/files stored by apps which share a user ID are accessible to all those apps.

http://developer.android.com/guide/topics/security/permissions.html

http://developer.android.com/guide/topics/manifest/uses-permission-element.html

SEC52-J. Do not expose methods that use reduced-security checks to untrusted codeNot applicable SEC53-J. Define custom security permissions for fine-grained securityApplicable in principleThe brief phrase for the guideline applies to Android. However, the current extended-text description for the guideline in the hardcopy book does not apply to Android. The following text supplements that section, to make it applicable to Android.: Applications are able to define their own new permissions, to restrict access to their components by other applications. Applications indicate the procedure the system should follow when determining whether to grant another app the permission, depending on protectionLevel – e.g., setting protectionLevel to “signature” so it is automatically granted to other applications requesting the permission which are signed with the same key. In addition to defining their own new permissions, applications can declare the requirement for (self-defined, other-app-defined, or system-defined) permissions, to restrict access to their components by other applications.SEC54-J. Create a secure sandbox using a security managerNot applicable SEC57-J. Do not let untrusted code misuse privileges of callback methodsUnknown DCL53-J. Minimize the scope of variablesApplicable MSC50-J. Minimize the scope of the @SuppressWarnings annotationApplicable OBJ51-J. Minimize the accessibility of classes and their membersApplicable CON52-J. Document thread-safety and use annotations where applicableApplicable MET54-J. Always provide feedback about the resulting value of a methodApplicable FIO51-J. Identify files using multiple file attributesApplicable in principleOn Android, better to use openFileOutput/openFileInput for file I/O.DCL56-J. Do not attach significance to the ordinal associated with an enumApplicable NUM52-J. Be aware of numeric promotion behaviorApplicable DCL58-J. Enable compile-time type checking of variable arity parameter typesApplicable DCL59-J. Do not apply public final to constants whose value might change in later releasesApplicable DCL60-J. Avoid cyclic dependencies between packagesApplicable ERR51-J. Prefer user-defined exceptions over more general exception typesApplicable ERR53-J. Try to gracefully recover from system errorsApplicable MSC53-J. Carefully design interfaces before releasing themApplicable OBJ52-J. Write garbage-collection-friendly codeApplicable DCL51-J. Do not shadow or obscure identifiers in subscopesApplicable DCL52-J. Do not declare more than one variable per declarationApplicable DCL54-J. Use meaningful symbolic constants to represent literal values in program logicApplicable DCL55-J. Properly encode relationships in constant definitionsApplicable MET55-J. Return an empty array or collection instead of a null value for methods that return an array or collectionApplicable ERR50-J. Use exceptions only for exceptional conditionsApplicable ERR54-J. Use a try-with-resources statement to safely handle closeable resourcesNot applicableThe current Android SDK does not support Java7, thus try-with-resource is not availableMSC60-J. Do not use assertions to verify the absence of runtime errorsApplicable in principleOn Android, assert() is ignored by default.EXP55-J. Use the same type for the second and third operands in conditional expressionsApplicable SEC56-J. Do not serialize direct handles to system resourcesApplicable MSC58-J. Prefer using iterators over enumerationsApplicable OBJ53-J. Do not use direct buffers for short-lived, infrequently used objectsApplicable OBJ55-J. Remove short-lived objects from long-lived container objectsApplicable DCL50-J. Be careful using visually misleading identifiers and literalsApplicable DCL57-J. Avoid ambiguous overloading of variable arity methodsApplicable ERR52-J. Avoid in-band error indicatorsApplicable EXP51-J. Do not perform assignments in conditional expressionsApplicable EXP52-J. Use braces for the body of an if, for, or while statementApplicable MSC51-J. Do not place a semicolon immediately following an if, for, or while conditionApplicable MSC52-J. Finish every set of statements associated with a case label with a break statementApplicable MSC54-J. Avoid inadvertent wrapping of loop countersApplicable EXP53-J. Use parentheses for precedence of operationApplicable FIO50-J. Do not make assumptions about file creationApplicable in principleOn Android, java.nio.file is not available.NUM50-J. Convert integers to floating-point for floating-point operationsApplicable MET53-J. Ensure that the clone() method calls super.clone()Applicable MSC55-J. Use comments consistently and in a readable fashionApplicable MSC56-J. Detect and remove superfluous code and valuesApplicable MSC57-J. Strive for logical completenessApplicable CON50-J. Do not assume that declaring a reference volatile guarantees safe publication of the members of the referenced objectApplicable CON51-J. Do not assume that the sleep(), yield(), or getState() methods provide synchronization semanticsApplicable NUM51-J. Do not assume that the remainder operator always returns a nonnegative result for integral operandsApplicable EXP50-J. Do not confuse abstract object equality with reference equalityApplicable EXP54-J. Understand the differences between bitwise and logical operatorsApplicable IDS55-J. Understand how escape characters are interpreted when strings are loadedApplicable MET50-J. Avoid ambiguous or confusing uses of overloadingApplicable MET51-J. Do not use overloaded methods to differentiate between runtime typesApplicable OBJ50-J. Never confuse the immutability of a reference with that of the referenced objectApplicable FIO53-J. Use the serialization methods writeUnshared() and readUnshared() with careApplicable OBJ54-J. Do not attempt to help the garbage collector by setting local reference variables to nullApplicable

 

Bibliography

[Long 2013]Java Coding Guidelines: 75 Recommendations for Reliable and Secure Programs

 

Image Added Image Modified CERT Oracle Coding Standard for Java Image Removed Image Added