Please see my comments below. > -----Original Message----- > From: Ameya Palande [mailto:ameya.palande@xxxxxxxxx] > Sent: Thursday, July 02, 2009 9:21 AM > To: linux-omap@xxxxxxxxxxxxxxx > Cc: Guzman Lugo, Fernando; Kanigeri, Hari; ext-phil.2.carmody@xxxxxxxxx > Subject: [PATCH 3/4] DSPBRIDGE: PROCWRAP_Load function cleanup in a > complete mess > > From: Phil Carmody <ext-phil.2.carmody@xxxxxxxxx> > > If you followed some failure paths, it was entirely possible that > you'd attempt to MEM_Free a user-space pointer, because it wouldn't > have been replaced with a kernel-space copy yet. Now replace all > untouched pointers with NULL, so the cleanup does nothing for those > ones. > > Signed-off-by: Phil Carmody <ext-phil.2.carmody@xxxxxxxxx> > Signed-off-by: Ameya Palande <ameya.palande@xxxxxxxxx> > --- > drivers/dsp/bridge/pmgr/wcd.c | 95 +++++++++++++++++++++++------------- > ---- > 1 files changed, 55 insertions(+), 40 deletions(-) > > diff --git a/drivers/dsp/bridge/pmgr/wcd.c b/drivers/dsp/bridge/pmgr/wcd.c > index 00b2770..2fd9f8c 100644 > --- a/drivers/dsp/bridge/pmgr/wcd.c > +++ b/drivers/dsp/bridge/pmgr/wcd.c > @@ -880,83 +880,99 @@ u32 PROCWRAP_Load(union Trapped_Args *args) > { > s32 i, len; > DSP_STATUS status = DSP_SOK; > - char *temp; > - s32 argc = args->ARGS_PROC_LOAD.iArgc; > + char *temp; > + s32 count = args->ARGS_PROC_LOAD.iArgc; > u8 **argv, **envp = NULL; > > + DBC_Require(count > 0); > + DBC_Require(count <= MAX_LOADARGS); > > - DBC_Require(argc > 0); > - DBC_Require(argc <= MAX_LOADARGS); > - > - argv = MEM_Alloc(argc * sizeof(u8 *), MEM_NONPAGED); > - if (argv == NULL) > + argv = MEM_Alloc(count * sizeof(u8 *), MEM_NONPAGED); > + if (!argv) { > status = DSP_EMEMORY; > + goto func_cont; > + } > > - cp_fm_usr(argv, args->ARGS_PROC_LOAD.aArgv, status, argc); > - if (DSP_FAILED(status)) > + cp_fm_usr(argv, args->ARGS_PROC_LOAD.aArgv, status, count); > + if (DSP_FAILED(status)) { > + MEM_Free(argv); > + argv = NULL; > goto func_cont; > + } > > - for (i = 0; DSP_SUCCEEDED(status) && (i < argc); i++) { > + for (i = 0; DSP_SUCCEEDED(status) && (i < count); i++) { > if (argv[i] != NULL) { > /* User space pointer to argument */ > - temp = (char *) argv[i]; > - len = strlen_user((char *)temp); > + temp = (char *) argv[i]; > + len = strlen_user((char *)temp); > /* Kernel space pointer to argument */ > argv[i] = MEM_Alloc(len + 1, MEM_NONPAGED); > - if (argv[i] == NULL) { > + if (argv[i] != NULL) { > + cp_fm_usr(argv[i], temp, status, len); > + } else { > status = DSP_EMEMORY; > - break; > } Brackets should be removed from if and else sentences if only one statement follow them. > - cp_fm_usr(argv[i], temp, status, len); > - if (DSP_FAILED(status)) > + > + if (DSP_FAILED(status)) { > + while (i < count) > + argv[i++] = NULL; In this point memory has been allocated to argv[i] and you are assigned argv[i] to null losing that reference and provoking a memory leak. Other think due to the check for freeing " for (i = 0; (i < count) && argv[i]; i++)" it only frees memory until it finds the first null (or until count), assigning argv[i+1] to null is enough and the "while" is not needed. > goto func_cont; > + } > argv[i][len] = '\0'; > } > } > /* TODO: validate this */ > if (args->ARGS_PROC_LOAD.aEnvp != NULL) { > /* number of elements in the envp array including NULL */ > - len = 0; > + count = 0; > do { > - len++; > - get_user(temp, args->ARGS_PROC_LOAD.aEnvp); > - } while (temp); > - envp = MEM_Alloc(len * sizeof(u8 *), MEM_NONPAGED); > + count++; > + get_user(temp, args->ARGS_PROC_LOAD.aEnvp); > + } while (temp); > + envp = MEM_Alloc(count * sizeof(u8 *), MEM_NONPAGED); > if (envp == NULL) { > status = DSP_EMEMORY; > goto func_cont; > } > > - cp_fm_usr(envp, args->ARGS_PROC_LOAD.aEnvp, status, len); > - if (DSP_FAILED(status)) > + cp_fm_usr(envp, args->ARGS_PROC_LOAD.aEnvp, status, count); > + if (DSP_FAILED(status)) { > + MEM_Free(envp); > + envp = NULL; > goto func_cont; > + } > for (i = 0; DSP_SUCCEEDED(status) && (envp[i] != NULL); i++) { > /* User space pointer to argument */ > - temp = (char *)envp[i]; > - len = strlen_user((char *)temp); > + temp = (char *)envp[i]; > + len = strlen_user((char *)temp); > /* Kernel space pointer to argument */ > envp[i] = MEM_Alloc(len + 1, MEM_NONPAGED); > - if (envp[i] == NULL) { > + if (envp[i] != NULL) { > + cp_fm_usr(envp[i], temp, status, len); > + } else { > status = DSP_EMEMORY; > - break; > } Brackets should be removed from if and else sentences if only one statement follow them. > - cp_fm_usr(envp[i], temp, status, len); > - if (DSP_FAILED(status)) > + > + if (DSP_FAILED(status)) { > + while (i < count) > + envp[i++] = NULL; In this point memory has been allocated to envp[i] and you are assigned envp[i] to null losing that reference and provoking a memory leak. Other think due to the check for freeing "while (envp[i] != NULL)" it only frees memory until it finds the first null so assigning envp[i+1] to null is enough and the "while" is not needed. > goto func_cont; > + } > envp[i][len] = '\0'; > } > } > GT_5trace(WCD_debugMask, GT_ENTER, > - "PROCWRAP_Load, hProcessor: 0x%x\n\tiArgc:" > - "0x%x\n\taArgv: 0x%x\n\taArgv[0]: %s\n\taEnvp: 0x%0x\n", > - args->ARGS_PROC_LOAD.hProcessor, > - args->ARGS_PROC_LOAD.iArgc, args->ARGS_PROC_LOAD.aArgv, > - argv[0], args->ARGS_PROC_LOAD.aEnvp); > + "PROCWRAP_Load, hProcessor: 0x%x\n\tiArgc:" > + "0x%x\n\taArgv: 0x%x\n\taArgv[0]: %s\n\taEnvp: 0x%0x\n", > + args->ARGS_PROC_LOAD.hProcessor, > + args->ARGS_PROC_LOAD.iArgc, args->ARGS_PROC_LOAD.aArgv, > + argv[0], args->ARGS_PROC_LOAD.aEnvp); > if (DSP_SUCCEEDED(status)) { > status = PROC_Load(args->ARGS_PROC_LOAD.hProcessor, > - args->ARGS_PROC_LOAD.iArgc, > - (CONST char **)argv, (CONST char **)envp); > + args->ARGS_PROC_LOAD.iArgc, > + (CONST char **)argv, (CONST char **)envp); > } > + > func_cont: > if (envp != NULL) { > i = 0; > @@ -966,11 +982,10 @@ func_cont: > MEM_Free(envp); > } > if (argv != NULL) { > - for (i = 0; i < argc; i++) { > - if (argv[i] != NULL) > - MEM_Free(argv[i]); > + count = args->ARGS_PROC_LOAD.iArgc; > + for (i = 0; (i < count) && argv[i]; i++) > + MEM_Free(argv[i++]); > > - } > MEM_Free(argv); > } > return status; > -- > 1.6.2.4 > Please correct it and send it again. Regards, Fernando Guzman Lugo. -- To unsubscribe from this list: send the line "unsubscribe linux-omap" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html