Versions Compared

Key

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

...

Contents

Table of Contents

 

Rules

...

Rules Comments
DCL38-C. Use the correct syntax when declaring a flexible array member Arrays: Need examination of Android support. (gcc support of arrays partial). Note native code array issues different with ART than with Dalvik: http://developer.android.com/guide/practices/verifying-apps-art.html#JNI_Issues 
EXP36-C. Do not cast pointers into more strictly aligned pointer types36C ARM chips more strict, X86 not so strict (so, relevant). 
INT35-C. Use correct integer precisionsCurrently may not apply; if no 64-bit Android phones (although current   news says on the way)
FLP32-C. Prevent or detect domain and range errors in math functionsMaybe currently, a restriction on size of ints/doubles, etc. (64 bit   chips)
FLP34-C. Ensure that floating-point conversions are within range of the new typeMaybe currently, a restriction on size of ints/doubles, etc. (64 bit   chips)
FLP36-C. Preserve precision when converting integral values to floating-point typeMaybe currently, a restriction on size of ints/doubles, etc. (64 bit   chips)
STR30-C. Do not attempt to modify string literalsSTR: rest, yes
STR31-C. Guarantee that storage for strings has sufficient space for character data and the null terminatorSTR: rest, yes
MEM33-C. Allocate and copy structures containing a flexible array member dynamically Arrays: Need examination of Android support. (gcc support of arrays partial). Note native code array issues different with ART than with Dalvik: http://developer.android.com/guide/practices/verifying-apps-art.html#JNI_Issues 
FIO39-C.   Do not alternately input and output from a stream without an intervening   flush or positioning call 
FIO30-C. Exclude user input from format stringsUniversal
FIO47-C. Use valid format stringsUniversal
SIG30-C. Call only asynchronous-safe functions within signal handlersSigAction may solve these   problems. If Android supports SigAction, these rules/recommendations may not   be needed.      http://stackoverflow.com/questions/7245550/android-app-restarts-automatically-after-a-crash
SIG31-C. Do not access shared objects in signal handlersSigAction may solve these   problems. If Android supports SigAction, these rules/recommendations may not   be needed.      http://stackoverflow.com/questions/7245550/android-app-restarts-automatically-after-a-crash
SIG34-C. Do not call signal() from within interruptible signal handlersSigAction may solve these   problems. If Android supports SigAction, these rules/recommendations may not   be needed.      http://stackoverflow.com/questions/7245550/android-app-restarts-automatically-after-a-crash
SIG35-C. Do not return from a computational exception signal handlerSigAction may solve these   problems. If Android supports SigAction, these rules/recommendations may not   be needed.      http://stackoverflow.com/questions/7245550/android-app-restarts-automatically-after-a-crash

 

Recommendations that are Applicable in Principle to Android Development

...

/

...

 

...

Unknown Applicability to Android Development

 Rules Comments
EXP35-C. Do not modify objects with temporary lifetimePossibly C11 relevant material, relevance must be considered on Android.
INT36-C. Converting a pointer to integer or integer to pointerDon't know if a hardware platform for Android that this applies to. (only   apply to certain arcane platform)
STR34-C. Cast characters to unsigned char before converting to larger integer sizesCan chars be unsigned on Android? Might be a compiler option, so yes. Not   needed for new code, but might have previous code affected by it.
STR38-C. Do not confuse narrow and wide character strings and functionsNot sure, needs more investigation.
FIO29-C. Do not open a file that is already open 
FIO32-C. Do not perform operations on devices that are only appropriate for files 
FIO34-C. Distinguish between characters read from a file and EOF or WEOFEOF/WEOF: Only apply to app's public files? Others protected by VM?
FIO37-C. Do not assume that fgets() or fgetws() returns a nonempty string when successful 
FIO38-C. Do not copy a FILE objectFIO reference. What is Android   filesystem?     http://stackoverflow.com/questions/2421826/what-is-androids-file-system       It depends on what filesystem, for example /system and /data are yaffs2   while /sdcard is vfat     By default, it uses YAFFS - Yet Another Flash File System.     Depends on what hardware/platform you use.     Since Android uses the Linux-kernel at this level, it is more or less   possible to use whatever filesystem the Linux-kernel supports.     But since most phones use some kind of nand flash, it is safe to assume   that they use YAFFS.     But please note that if some vendor wants to sell a Android netbook (with a   harddrive), they could use ext3 or something like that.
FIO40-C. Reset strings on fgets() or fgetws() failure 
FIO41-C. Do not call getc(), putc(), getwc(), or putwc() with a stream argument that has side effects 
FIO42-C. Close files when they are no longer needed 
FIO44-C. Only use values for fsetpos() that are returned from fgetpos() 
FIO45-C. Avoid TOCTOU race conditions while accessing files 
FIO46-C. Do not access a closed file 
CON30-C. Clean up thread-specific storageCON concurrency: Need to look into Android, does it support C11? Look at   specifics of Android. Maybe POSIX threads, not C11 threads.
CON31-C. Do not destroy a mutex while it is lockedCON concurrency: Need to look into Android, does it support C11? Look at   specifics of Android. Maybe POSIX threads, not C11 threads.
CON32-C. Prevent data races when accessing bit-fields from multiple threadsCON concurrency: Need to look into Android, does it support C11? Look at   specifics of Android. Maybe POSIX threads, not C11 threads.
CON33-C. Avoid race conditions when using library functionsCON concurrency: Need to look into Android, does it support C11? Look at   specifics of Android. Maybe POSIX threads, not C11 threads.
CON34-C. Declare objects shared between threads with appropriate storage durationsCON concurrency: Need to look into Android, does it support C11? Look at   specifics of Android. Maybe POSIX threads, not C11 threads.
CON35-C. Avoid deadlock by locking in a predefined orderCON concurrency: Need to look into Android, does it support C11? Look at   specifics of Android. Maybe POSIX threads, not C11 threads.
CON36-C. Wrap functions that can spuriously wake up in a loopCON concurrency: Need to look into Android, does it support C11? Look at   specifics of Android. Maybe POSIX threads, not C11 threads.
CON37-C. Do not call signal() in a multithreaded programCON concurrency: Need to look into Android, does it support C11? Look at   specifics of Android. Maybe POSIX threads, not C11 threads.
CON38-C. Preserve thread safety and liveness when using condition variablesCON concurrency: Need to look into Android, does it support C11? Look at   specifics of Android. Maybe POSIX threads, not C11 threads.
CON39-C. Do not join or detach a thread that was previously joined or detachedCON concurrency: Need to look into Android, does it support C11? Look at   specifics of Android. Maybe POSIX threads, not C11 threads.
CON40-C. Do not refer to an atomic variable twice in an expressionCON concurrency: Need to look into Android, does it support C11? Look at   specifics of Android. Maybe POSIX threads, not C11 threads.
CON41-C. Wrap functions that can fail spuriously in a loopCON concurrency: Need to look into Android, does it support C11? Look at   specifics of Android. Maybe POSIX threads, not C11 threads.
POS30-C. Use the readlink() function properly 
POS33-C. Do not use vfork() 
POS34-C. Do not call putenv() with a pointer to an automatic variable as the argument 
POS35-C. Avoid race conditions while checking for the existence of a symbolic linkCan apps get root? Can they run a shell? These rules/guidelines are not   meant to address rooted devices (different OS than standard Android)
POS36-C. Observe correct revocation order while relinquishing privilegesCan apps get root? Can they run a shell? These rules/guidelines are not   meant to address rooted devices (different OS than standard Android)
POS37-C. Ensure that privilege relinquishment is successfulCan apps get root? Can they run a shell? These rules/guidelines are not   meant to address rooted devices (different OS than standard Android)
POS38-C. Beware of race conditions when using fork and file descriptors 
POS39-C. Use the correct byte ordering when transferring data between systems 
POS44-C. Do not use signals to terminate threadsFurther investigation needed, specific to SigAction
POS47-C. Do not use threads that can be canceled asynchronously 
POS48-C. Do not unlock or destroy another POSIX thread's mutex 
POS49-C. When data must be accessed by multiple threads, provide a mutex and guarantee no adjacent data is also accessed Look into Android specifics for   this, regarding "guarantee no adjacent data is accessed".
POS50-C. Declare objects shared between POSIX threads with appropriate storage durations 
POS51-C. Avoid deadlock with POSIX threads by locking in predefined order 
POS52-C. Do not perform operations that can block while holding a POSIX lock 
POS53-C. Do not use more than one mutex for concurrent waiting operations on a condition variable 
POS54-C. Detect and handle POSIX library errors 

 

Recommendations/Unknown Applicability to Android Development

 
Recommendations Comments
ARR00-C. Understand how arrays workArrays: Need examination of Android support. (gcc support of arrays partial). Note native code array issues different with ART than with Dalvik: http://developer.android.com/guide/practices/verifying-apps-art.html#JNI_Issues 
ARR01-C. Do not apply the sizeof operator to a pointer when taking the size of an arrayArrays: Need examination of Android support. (gcc support of arrays partial). Note native code array issues different with ART than with Dalvik: http://developer.android.com/guide/practices/verifying-apps-art.html#JNI_Issues 
ARR02-C. Explicitly specify array bounds, even if implicitly defined by an initializerArrays: Need examination of Android support. (gcc support of arrays partial). Note native code array issues different with ART than with Dalvik: http://developer.android.com/guide/practices/verifying-apps-art.html#JNI_Issues 
ARR30-C. Do not form or use out-of-bounds pointers or array subscriptsArrays: Need examination of Android support. (gcc support of arrays partial). Note native code array issues different with ART than with Dalvik: http://developer.android.com/guide/practices/verifying-apps-art.html#JNI_Issues 
ARR32-C. Ensure size arguments for variable length arrays are in a valid rangeArrays: Need examination of Android support. (gcc support of arrays partial). Note native code array issues different with ART than with Dalvik: http://developer.android.com/guide/practices/verifying-apps-art.html#JNI_Issues 
ARR36-C. Do not subtract or compare two pointers that do not refer to the same arrayArrays: Need examination of Android support. (gcc support of arrays partial). Note native code array issues different with ART than with Dalvik: http://developer.android.com/guide/practices/verifying-apps-art.html#JNI_Issues 
ARR37-C. Do not add or subtract an integer to a pointer to a non-array objectArrays: Need examination of Android support. (gcc support of arrays partial). Note native code array issues different with ART than with Dalvik: http://developer.android.com/guide/practices/verifying-apps-art.html#JNI_Issues 
ARR38-C. Guarantee that library functions do not form invalid pointersArrays: Need examination of Android support. (gcc support of arrays partial). Note native code array issues different with ART than with Dalvik: http://developer.android.com/guide/practices/verifying-apps-art.html#JNI_Issues 
ARR39-C. Do not add or subtract a scaled integer to a pointerArrays: Need examination of Android support. (gcc support of arrays partial). Note native code array issues different with ART than with Dalvik: http://developer.android.com/guide/practices/verifying-apps-art.html#JNI_Issues 
FIO01-C. Be careful using functions that use file names for identification 
FIO02-C. Canonicalize path names originating from tainted sources 
FIO03-C. Do not make assumptions about fopen() and file creation 
FIO05-C. Identify files using multiple file attributes 
FIO06-C. Create files with appropriate access permissions 
FIO08-C. Take care when calling remove() on an open file 
FIO09-C. Be careful with binary data when transferring data across systems 
FIO10-C. Take care when using the rename() function 
FIO11-C. Take care when specifying the mode parameter of fopen() 
FIO13-C. Never push back anything other than one read character 
FIO14-C. Understand the difference between text mode and binary mode with file streams 
FIO15-C. Ensure that file operations are performed in a secure directoryFIO15-C: Look at Android/C interactions more closely to see if   applicable.
FIO17-C. Do not rely on an ending null character when using fread() 
FIO18-C. Never expect fwrite() to terminate the writing process at a null character 
FIO19-C. Do not use fseek() and ftell() to compute the size of a regular file 
FIO20-C. Avoid unintentional truncation when using fgets() or fgetws() 
FIO21-C. Do not create temporary files in shared directories 
FIO22-C. Close files before spawning processes 
FIO23-CFIO23-C.   Do not exit with unflushed data in stdout or stderr 
API01-C. Avoid laying out strings in memory directly before sensitive data 
API09-C. Compatible values should have the same type 
CON00-C. Avoid race conditions with multiple threadsCON concurrency: Need to look into Android, does it support C11? Look at   specifics of Android. Maybe POSIX threads, not C11 threads.
CON01-C. Acquire and release synchronization primitives in the same module, at the same level of abstractionCON concurrency: Need to look into Android, does it support C11? Look at   specifics of Android. Maybe POSIX threads, not C11 threads.
CON02-C. Do not use volatile as a synchronization primitiveCON concurrency: Need to look into Android, does it support C11? Look at   specifics of Android. Maybe POSIX threads, not C11 threads.
CON03-C. Ensure visibility when accessing shared variablesCON concurrency: Need to look into Android, does it support C11? Look at   specifics of Android. Maybe POSIX threads, not C11 threads.
CON04-C. Join or detach threads even if their exit status is unimportantCON concurrency: Need to look into Android, does it support C11? Look at   specifics of Android. Maybe POSIX threads, not C11 threads.
CON05-C. Do not perform operations that can block while holding a lockCON concurrency: Need to look into Android, does it support C11? Look at   specifics of Android. Maybe POSIX threads, not C11 threads.
CON06-C. Ensure that every mutex outlives the data it protectsCON concurrency: Need to look into Android, does it support C11? Look at   specifics of Android. Maybe POSIX threads, not C11 threads.
CON07-C. Ensure that compound operations on shared variables are atomicCON concurrency: Need to look into Android, does it support C11? Look at   specifics of Android. Maybe POSIX threads, not C11 threads.
CON08-C. Do not assume that a group of calls to independently atomic methods is atomicCON concurrency: Need to look into Android, does it support C11? Look at   specifics of Android. Maybe POSIX threads, not C11 threads.
CON09-C. Avoid the ABA problem when using lock-free algorithmsCON concurrency: Need to look into Android, does it support C11? Look at   specifics of Android. Maybe POSIX threads, not C11 threads.
POS01-C. Check for the existence of links when dealing with files 
POS04-C. Avoid using PTHREAD_MUTEX_NORMAL type mutex locks 
POS05-C. Limit access to files by creating a jail