Changes between Version 2 and Version 3 of GeneralTransformation

Timestamp:

07/14/14 13:51:39 (12 years ago)

Author:

zmanchun

Comment:

--

GeneralTransformation

@@ -6 +6 @@
 {{{
 ... // declarations
-int main(int argc, char *argv[]){
+int main(int argc, char* argv[]){
   ...//main body
 }
@@ -17 +17 @@
 ... // declarations
 
-$input int __argc;
-$input char __argv[][];
+$input int CIVL_argc;
+$input char CIVL_argv[MAX_ARGC][];
+$assume 0 < CIVL_argc && CIVL_argc < MAX_ARGC;
 
 void main(){
-  int argc = __argc;
-  char** argv = (char**)__argv;
+  int argc = CIVL_argc;
+  char* _argv[MAX_ARGC];
+  char** argv;
+
+  for(int i = 0; i < MAX_ARGC; i++)
+    _argv[i] = &CIVL_argv[i][0];
+
+  argv = &_argv[0];
 
   ... // main body