cil-users  

Messages by Thread

• [CIL users] A Question about the usedef module in CIL tsuletgo
  • Re: [CIL users] A Question about the usedef module in CIL Gabriel Kerneis
• [CIL users] How to use Reaching Defition module? Sahana V P
  • Re: [CIL users] How to use Reaching Defition module? Gabriel Kerneis
• Re: [CIL users] Access to Parent Structure Alex Susu
  • Re: [CIL users] Access to Parent Structure Gabriel Kerneis
• [CIL users] ANNOUNCE: CIL 1.7.2 Gabriel Kerneis
  • Re: [CIL users] ANNOUNCE: CIL 1.7.2 Gabriel Kerneis
• [CIL users] [cil:bugs] #138 Linking against the CIL package fails. Zachary Anderson
• [CIL users] ANNOUNCE: CIL 1.7.1 Gabriel Kerneis
  • Re: [CIL users] ANNOUNCE: CIL 1.7.1 Gabriel Kerneis
• [CIL users] [cil:bugs] #137 dropping type declaration attributes TheBeaNerd
• [CIL users] ANNOUNCE: CIL 1.7.0 Gabriel Kerneis
  • Re: [CIL users] ANNOUNCE: CIL 1.7.0 Gabriel Kerneis
• [CIL users] POLL: do you use bin/patcher? Gabriel Kerneis
• [CIL users] Projects using CIL Alex Susu
  • Re: [CIL users] Projects using CIL Gabriel Kerneis
  • Re: [CIL users] Projects using CIL Alex Susu
  • Re: [CIL users] Projects using CIL Gabriel Kerneis
• [CIL users] type casting sonamt
• [CIL users] Regarding inserting printf function sonamt
  • Re: [CIL users] Regarding inserting printf function Gabriel Kerneis
  • Re: [CIL users] Regarding inserting printf function sonamt
  • Re: [CIL users] Regarding inserting printf function Gabriel Kerneis
• [CIL users] builtin_types_compatible_p dagreve
  • Re: [CIL users] builtin_types_compatible_p Gabriel Kerneis
  • Re: [CIL users] builtin_types_compatible_p Gabriel Kerneis
  • Re: [CIL users] builtin_types_compatible_p Gabriel Kerneis
• [CIL users] reconstructing existing block sonamt
  • Re: [CIL users] reconstructing existing block Gabriel Kerneis
• [CIL users] Is there any API to transform the switch/case statements to if statements Amin Alipour
  • Re: [CIL users] Is there any API to transform the switch/case statements to if statements Gabriel Kerneis
• [CIL users] ANNOUNCE: CIL 1.6.0 Gabriel Kerneis
• [CIL users] Translate CIL to C SHI, Yao
  • Re: [CIL users] Translate CIL to C Gabriel Kerneis
• [CIL users] Initializing fundec type sonamt
  • Re: [CIL users] Initializing fundec type Gabriel Kerneis
• [CIL users] Creation of Temporary Variables प्रतीक स्कायवाल्कर
  • Re: [CIL users] Creation of Temporary Variables tsuletgo
• Re: [CIL users] Problem on linking cil and ocaml-sqlite library Gabriel Kerneis
• [CIL users] Parsing Statement Assignments Jonathan Kotker
  • Re: [CIL users] Parsing Statement Assignments Jonathan Kotker
  • Re: [CIL users] Parsing Statement Assignments Gabriel Kerneis
  • Re: [CIL users] Parsing Statement Assignments Jonathan Kotker
• [CIL users] Instrumenting a program with a call to function in external file sonamt
  • Re: [CIL users] Instrumenting a program with a call to function in external file Gabriel Kerneis
  • Re: [CIL users] Instrumenting a program with a call to function in external file sonamt
  • Re: [CIL users] Instrumenting a program with a call to function in external file Gabriel Kerneis
  • Re: [CIL users] Instrumenting a program with a call to function in external file sonamt
  • Re: [CIL users] Instrumenting a program with a call to function in external file Gabriel Kerneis
  • Re: [CIL users] Instrumenting a program with a call to function in external file sonamt
  • Re: [CIL users] Instrumenting a program with a call to function in external file Gabriel Kerneis
• [CIL users] Can the Reaching Definition Module handle interprocedural def-use analysis? tsuletgo
  • Re: [CIL users] Can the Reaching Definition Module handle interprocedural def-use analysis? Gabriel Kerneis
  • Re: [CIL users] Can the Reaching Definition Module handle interprocedural def-use analysis? tsuletgo
  • Re: [CIL users] Can the Reaching Definition Module handle interprocedural def-use analysis? Gabriel Kerneis
• [CIL users] Instr into block Mauro Baluda
• [CIL users] interprocedural CFG Mauro Baluda
  • Re: [CIL users] interprocedural CFG Gabriel Kerneis
• [CIL users] Searching with CIL Interpreted deconstructors Alex Susu
  • Re: [CIL users] Searching with CIL Interpreted deconstructors Gabriel Kerneis
  • Re: [CIL users] Searching with CIL Interpreted deconstructors Alex Susu
  • Re: [CIL users] Searching with CIL Interpreted deconstructors Gabriel Kerneis
  • [CIL users] Help with formatparse.mly Alex Susu
  • [CIL users] Searching with CIL interpreted deconstructors Alex Susu
  • Re: [CIL users] Searching with CIL interpreted deconstructors Gabriel Kerneis
  • Re: [CIL users] Searching with CIL interpreted deconstructors Alex Susu
  • Re: [CIL users] Searching with CIL interpreted deconstructors Gabriel Kerneis
• [CIL users] Converting Switch Statements to If प्रतीक स्कायवाल्कर
  • [CIL users] failed configure on cygwin with Visual C++ Pietro Braione
  • Re: [CIL users] failed configure on cygwin with Visual C++ Gabriel Kerneis
  • Re: [CIL users] failed configure on cygwin with Visual C++ Gabriel Kerneis
  • Re: [CIL users] Converting Switch Statements to If Gabriel Kerneis
• [CIL users] problem regarding C2Promela अपर्णा त्रिपाठी
  • Re: [CIL users] problem regarding C2Promela Gabriel Kerneis
• [CIL users] Eliminating while loops and applying all possible simplifications nkavv
• [CIL users] [ cil-Bugs-3604915 ] Legal, but large, static arrays can fail. SourceForge . net
  • [CIL users] [ cil-Bugs-3604915 ] Legal, but large, static arrays can fail. SourceForge . net
  • [CIL users] [ cil-Bugs-3604915 ] Legal, but large, static arrays can fail. SourceForge . net
  • [CIL users] [ cil-Bugs-3604915 ] Legal, but large, static arrays can fail. SourceForge . net
  • [CIL users] [ cil-Bugs-3604915 ] Legal, but large, static arrays can fail. SourceForge . net
  • [CIL users] [ cil-Bugs-3604915 ] Legal, but large, static arrays can fail. SourceForge . net
  • [CIL users] [ cil-Bugs-3604915 ] Legal, but large, static arrays can fail. SourceForge . net
  • [CIL users] [ cil-Bugs-3604915 ] Legal, but large, static arrays can fail. SourceForge . net
• [CIL users] cilly stdin option dagreve
  • Re: [CIL users] cilly stdin option Gabriel Kerneis
  • [CIL users] -include dagreve
  • Re: [CIL users] -include dagreve
  • Re: [CIL users] -include Gabriel Kerneis
• [CIL users] Is_char_unsigned = is_char_signed, a CIL bug or not? haihao shen
  • Re: [CIL users] Is_char_unsigned = is_char_signed, a CIL bug or not? Gabriel Kerneis
  • Re: [CIL users] Is_char_unsigned = is_char_signed, a CIL bug or not? haihao shen
• [CIL users] Representation for some operators Pietro Braione
  • Re: [CIL users] Representation for some operators Gabriel Kerneis
  • Re: [CIL users] Representation for some operators Pietro Braione
  • Re: [CIL users] Representation for some operators Gabriel Kerneis
  • Re: [CIL users] Representation for some operators Pietro Braione
• [CIL users] Distribution of CIL Jonathan Kotker
  • Re: [CIL users] Distribution of CIL Jonathan Kotker
  • Re: [CIL users] Distribution of CIL Gabriel Kerneis
  • Re: [CIL users] Distribution of CIL Jonathan Kotker
• [CIL users] A CIL Tutorial & project template Zachary Anderson
  • Re: [CIL users] A CIL Tutorial & project template Gabriel Kerneis
  • Re: [CIL users] A CIL Tutorial & project template Zachary Anderson
  • Re: [CIL users] A CIL Tutorial & project template Gabriel Kerneis
• [CIL users] Fw:how_to_traverse_the_cfg redder_0210
  • Re: [CIL users] Fw:how_to_traverse_the_cfg Gabriel Kerneis
• [CIL users] Cil output identification TheAnh Do
  • Re: [CIL users] Cil output identification Gabriel Kerneis
• [CIL users] Transformation of If conditions TheAnh Do
  • Re: [CIL users] Transformation of If conditions Gabriel Kerneis
• [CIL users] pseudo-SSA form? Mansour Moufid
  • Re: [CIL users] pseudo-SSA form? Mansour Moufid
• [CIL users] "marking" statements Pietro Braione
  • Re: [CIL users] "marking" statements Gabriel Kerneis
  • Re: [CIL users] "marking" statements Pietro Braione
  • Re: [CIL users] "marking" statements Virgile Prevosto
  • Re: [CIL users] "marking" statements Gabriel Kerneis
• [CIL users] [ cil-Bugs-3586613 ] Cil Visitor vs Cabs2cil Visitor SourceForge . net
  • Re: [CIL users] [ cil-Bugs-3586613 ] Cil Visitor vs Cabs2cil Visitor Gabriel Kerneis
• [CIL users] Printing CFG information Alex Susu
• [CIL users] Liveness module Alex Susu
  • Re: [CIL users] Liveness module Jesse M Draper
  • Re: [CIL users] Liveness module Alex Susu
• [CIL users] CIL destructors Alex Susu
• [CIL users] How to properly handle new CIL + cilly command line arguments Alex Susu
  • Re: [CIL users] How to properly handle new CIL + cilly command line arguments Gabriel Kerneis
  • Re: [CIL users] How to properly handle new CIL + cilly command line arguments Alex Susu
• [CIL users] ANNOUNCE: static local variables and computed gotos Gabriel Kerneis
• [CIL users] Merging and Linking Jonathan Kotker
  • Re: [CIL users] Merging and Linking Oliver Schwahn
  • Re: [CIL users] Merging and Linking Jonathan Kotker
  • Re: [CIL users] Merging and Linking Oliver Schwahn
  • Re: [CIL users] Merging and Linking Jonathan Kotker
  • Re: [CIL users] Merging and Linking Oliver Schwahn
  • Re: [CIL users] Merging and Linking Jonathan Kotker
  • Re: [CIL users] Merging and Linking Jonathan Kotker
• [CIL users] Pretty.breakString eats memory Christian Collberg
  • Re: [CIL users] Pretty.breakString eats memory Gabriel Kerneis
  • Re: [CIL users] Pretty.breakString eats memory Gabriel Kerneis
• [CIL users] static const Jan Smets
  • Re: [CIL users] static const Gabriel Kerneis
  • Re: [CIL users] static const Oliver Schwahn
  • Re: [CIL users] static const Jan Smets
  • Re: [CIL users] static const Gabriel Kerneis
• [CIL users] how to merge and compile a project which contains multiple source and head files using CIL? Lipeng Wan
  • Re: [CIL users] how to merge and compile a project which contains multiple source and head files using CIL? Oliver Schwahn
• [CIL users] [ cil-Bugs-3544467 ] Disparity between CIL and GCC in struct/union merging SourceForge . net
• [CIL users] ANNOUNCE: CIL 1.5.1 Gabriel Kerneis
  • Re: [CIL users] ANNOUNCE: CIL 1.5.1 林楠
• [CIL users] Native versions of OCaml tools Oliver Schwahn
  • Re: [CIL users] Native versions of OCaml tools Gabriel Kerneis
  • Re: [CIL users] Native versions of OCaml tools Oliver Schwahn
  • Re: [CIL users] Native versions of OCaml tools Gabriel Kerneis
  • Re: [CIL users] Native versions of OCaml tools Oliver Schwahn
• [CIL users] Merging a multi-directory project Eric Monzon
  • Re: [CIL users] Merging a multi-directory project Jesse M Draper
• [CIL users] integer overflow in merger using cilly Oliver Schwahn
  • Re: [CIL users] integer overflow in merger using cilly Gabriel Kerneis
  • Re: [CIL users] integer overflow in merger using cilly Oliver Schwahn
  • Re: [CIL users] integer overflow in merger using cilly Gabriel Kerneis
  • Re: [CIL users] integer overflow in merger using cilly Oliver Schwahn
  • Re: [CIL users] integer overflow in merger using cilly Gabriel Kerneis
  • Re: [CIL users] integer overflow in merger using cilly Oliver Schwahn
  • Re: [CIL users] integer overflow in merger using cilly Gabriel Kerneis
• [CIL users] How to log variable information chenting19870201
• [CIL users] [ cil-Bugs-3538514 ] Pointer difference operations have the wrong type. SourceForge . net
  • [CIL users] [ cil-Bugs-3538514 ] Pointer difference operations have the wrong type. SourceForge . net
• [CIL users] Request for contribution: abstract syntax for labels-as-values ($s available) Christian Collberg
  • Re: [CIL users] Request for contribution: abstract syntax for labels-as-values ($s available) Gabriel Kerneis
• [CIL users] ANNOUNCE: CIL 1.5.0 Gabriel Kerneis
• Re: [CIL users] [ cil-Bugs-3534428 ] newTempVar called outside a function Marco Trudel
  • Re: [CIL users] [ cil-Bugs-3534428 ] newTempVar called outside a function Gabriel Kerneis
• [CIL users] [ cil-Bugs-3534428 ] newTempVar called outside a function SourceForge . net
  • [CIL users] [ cil-Bugs-3534428 ] newTempVar called outside a function SourceForge . net
• Re: [CIL users] [ cil-Bugs-3532983 ] Handling of array initialization is incorrect Gabriel Kerneis
  • Re: [CIL users] [ cil-Bugs-3532983 ] Handling of array initialization is incorrect Marco Trudel
  • Re: [CIL users] [ cil-Bugs-3532983 ] Handling of array initialization is incorrect Gabriel Kerneis
• [CIL users] [ cil-Bugs-3532983 ] Handling of array initialization is incorrect SourceForge . net
  • [CIL users] [ cil-Bugs-3532983 ] Handling of array initialization is incorrect SourceForge . net
• [CIL users] Program annotations Roberto Lublinerman
  • Re: [CIL users] Program annotations MONATE Benjamin 205998
  • Re: [CIL users] Program annotations Gabriel Kerneis
• [CIL users] how to use CIL to add a global variable which is an array of a structure defined by me? Lipeng Wan
  • Re: [CIL users] how to use CIL to add a global variable which is an array of a structure defined by me? Gabriel Kerneis
• [CIL users] How to compare Lval and String srikanth vaindam
  • Re: [CIL users] How to compare Lval and String Jesse M Draper
  • Re: [CIL users] How to compare Lval and String Gabriel Kerneis
• [CIL users] ptranal.ml link error srikanth vaindam
  • [CIL users] Change Makefile.in [was: ptranal.ml link error] Christoph Spiel
• [CIL users] counter.ml in PowerTOSSIM Lipeng Wan
  • Re: [CIL users] counter.ml in PowerTOSSIM Gabriel Kerneis
• [CIL users] __builtin_offsetof Smets, Jan (Jan)
  • Re: [CIL users] __builtin_offsetof Smets, Jan (Jan)
• [CIL users] returning result of void function Smets, Jan (Jan)
  • Re: [CIL users] returning result of void function Gabriel Kerneis
• [CIL users] Error: CIL_MACHINE machine model is invalid: alignof_enum not specified Lipeng Wan
  • Re: [CIL users] Error: CIL_MACHINE machine model is invalid: alignof_enum not specified Smets, Jan (Jan)
  • Re: [CIL users] Error: CIL_MACHINE machine model is invalid: alignof_enum not specified Gabriel Kerneis
• [CIL users] Unused __Cont label Smets, Jan (Jan)

• Earlier messages
• Later messages