forked from samee/obliv-c
-
Notifications
You must be signed in to change notification settings - Fork 0
/
CHANGES
991 lines (706 loc) · 40.3 KB
/
CHANGES
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
24 July 2013: cil-1.7.3
* Fix installation of CIL library.
* Fix machine-independant flags in cilly (eg. -fPIC).
27 June 2013: cil-1.7.2
* Fix building and installation of CIL library (#138).
18 June 2013: cil-1.7.1
Improve build system, including:
* Fix make uninstall.
* Add a FORCE_PERL_PREFIX to ease installation in home directory.
* Detect OCaml native compilers automatically.
* Switch to ocamlbuild.
* Infer files to install for ocamlfind, and generate missing
interfaces automatically.
* Cleanup autoconf scripts.
4 June 2013: cil-1.7.0
New features:
* Support for C99 flexible array members.
* Support for GCC’s “case range” extension (--useCaseRange).
* Add a “regtest” make target to run regression tests.
* cilly is now installed as a proper perl script.
Bug fixes:
* Preserve cases in switch block with attribute (thanks to Edmund
Grimley-Evans).
* Fix computation of __builtin_type_compatible_p.
* Do not hardcode size_t as unsigned for offsetof.
* Allow cast of functions to function pointers.
* Avoid name clashes for introduced __constr_expr.
* Handle trailing empty initializers inside arrays.
* Use correct integer kind for zero enum initializer.
* Allow symlinks to cilly (#120).
* Fix log message going to the wrong channel.
* Cleanup code, documentation and build system.
22 March 2013: cil-1.6.0
New features:
* Support for static local variables.
* Support for GCC’s “computed gotos” (or “labels as values”).
* See http://article.gmane.org/gmane.comp.compilers.cil.user/744/
for more details.
Bug fixes:
* cilly: use -include only on first preprocessor run.
* Allow large arrays (#3604915).
* Fix caller list in EasyCallGraph.
* Use actual prime numbers in function checksum.
* Make breakString tail recursive.
* Fix parsing of char_signed with --envmachine (thanks to Haihao
Shen).
* Fix MSVC build parameters for MSys (thanks to Jim Grundy).
* Various other fixes to Makefiles.
14 July 2012: cil-1.5.1
New features:
* Native versions of OCaml tool (thanks to Oliver Schwahn).
Bug fixes:
* Fixed bug in which pointer difference operations were
incorrectly typed (#3538514, thanks to Jim Grundy).
* Merger: fix integer overflow in pragma.
* Fix various regression tests and doc generation.
* 14 June 2012: cil-1.5.0
New features:
* Incompatible change: introduce a Question variant for the
Cil.exp type (thanks to Elnatan Reisner). Enabled by the flag
--useLogicalOperators.
* Add support for new GCC attributes and builtins (thanks to Ben
Liblit).
* Remove trivial gotos and associated labels in useless variables
elimination.
Bug fixes:
* Preserve const in function parameters.
* Handle array initialization of arbitrary length.
* Allow single character output file names in Cilly (#3499163).
* Mitigate stack-overflow issues for large case-range in switch
statements (#3480417).
* Explicit casting for return value of va_arg (#3463364).
* Avoid spurious warnings in loadBinaryFile (thanks to Jesse
Draper).
* Add -WX flag to CFLAGS when using the MSVC compiler (thanks to
Jim Grundy).
* Fix name collisions in global scope (#3532283, thanks to Ed
Schwartz).
* Fix types in switch statements (#3481303, thanks to Boris
Yakobowski).
* Minor build improvements (MacOS portability).
4 November 2011: cil-1.4.0
* Includes many bug fixes and a cleanup of obsolete files and Makefile
rules. Also fix support for OCaml 3.12, add support of some gcc
builtins.
* 28 May 2009: Improved 64-bit int support (large constants no longer
cause a CIL failure). There’s a new cilint type that should be used
to handle integer C values - cilint is essentially a big_int so will
be able to handle future expansion. To get the value represented by
a CInt64(n, ik, _) constant, call mkCilint ik n — this will give you
the correct value for unsigned 64-bit C constants stored in a signed
OCaml int64.
In a related move, the already deprecated unbox_int_exp,
box_int_to_exp and cil_to_ocaml_int functions have been removed. And
convertInts, isInteger, truncateInteger64 are now deprecated and
will be removed in a future release.
24 April 2009: cil-1.3.7
Includes change below and other miscellaneous bug fixes.
* 22 April 2009: ocamlbuild make target added (thanks to Gabriel
Kerneis).
* 21 April 2009: __builtin_va_arg_pack support: calls to this builtin
need to remain as the last argument to a function call. So to
prevent CIL’s usual rewriting, we internally represent calls to
__builtin_va_arg_pack as sizeof(__builtin_va_arg_pack)…
* 21 April 2009: _Bool support, thanks to patches from Christopher
Ian Stern (Sourceforge bug #1497763).
This leads to the addition of a new integer kind, IBool which you
might have to handle in some of your patterns. Note also, for those
not familiar with _Bool, that casts/conversion to _Bool give the
value 1 for non-zero values, and 0 otherwise (i.e. (_Bool)x behaves
like x \!= 0).
* 20 April 2009: Update builtin support, including __builtin_strlen
(Sourceforge bug #1873374), __builtin_choose_expr,
__builtin_types_compatible_p (Sourceforge bug #1852730). For the
latter two, we evaluate them in CIL (in line with the earlier
handling of __builtin_constant_p).
Note that as part of these fixes, mkAddrOf no longer replaces &a[0]
with a, as this can break typeof (Sourceforge bug #1852730 involves
a use of typeof(&a[0])).
Typo fixes from Gabriel Kerneis.
* 17 April 2009: Update extern inline handling to match current gcc
versions (Sourceforge bug #1689503): the actual definition is always
preferred over the extern inline one. CIL handles this by
suppressing the extern inline definition (replacing it by a
declaration) if it sees a real definition. However, if no real
definition exists, you will get a CIL varinfo for an inline function
with storage class extern…
You can revert to CIL’s previous handling of extern inline by
setting oldstyleExternInline to true.
* 16 April 2009: Add allStmts function to cfg.ml, and remove public
visibility of nodeList and numNodes (Sourceforge bug #1819746).
* 15 April 2009: Fix Sourceforge bugs #2265867 (bad constant folding
of unary minus), #2134504 (truncation warning), #1811676 (typo).
* 13 April 2009: Recognize gcc’s -m32 and -m64 flags that select
between 32 and 64 bit targets.
* 8 April 2009: Rename libcil.a to libcil.o (ocaml 3.11 forces us to
use the correct extension).
* 7 April 2009: Add LLVM bitcode generator (partial C support, target
32-bit x86 only).
* 7 April 2009: Support enums over greater-than-int types (gcc
extension).
* 19 September 2008: Remove excess newlines in warnings and errors.
* 30 August 2008: Added an install-findlib Make target for ocamlfind.
Thanks to ploc for the patch.
* 28 May 2008: Cross-compilation support: ability to select a machine
model specified in an environment variable (CIL_MACHINE). See for
details.
* 2 July 2008: Add a --gcc option to cilly to tell it to use a
particular version of gcc (useful for cross-compilation
environments).
* 14 February 2008: Fixed a bug in temporary file creation. Thanks to
J. Aaron Pendergrass for the patch.
* 30 November 2007: Fixed a bug in assignment to lvalues that depend
on themselves.
* 4 April 2007: Benjamin Monate fixed a bug in Cfg for empty loop bodies.
* 29 March 2007: Polyvios Pratikakis fixed a bug in
src/ext/pta/uref.ml.
* 15 March 2007: Added support for __attribute__((aligned)) and
__attribute__((packed)).
* 7 March 2007: typeOf(StartOf _) now preserves the attributes of the
array.
* 22 February 2007: Added an inliner (ext/inliner.ml)
* 21 February 2007: We now constant-fold bitfield expressions. Thanks
to Virgile Prevosto for the patch.
* 13 February 2007: gcc preprocessor arguments passed using -Wp are
now used only during initial preproccessing, not for the
preprocessing after CIL. This fixes problems in the Linux makefiles
with dependency generation.
* 6 February 2007: Fixed parseInt for non-32 bit architectures.
5 February 2007: cil-1.3.6
* 2 February 2007: Improved the way CIL gets configured for the
actual definitions of size_t and wchar_t.
* 1 February 2007: Fixed the parser to support the unused attribute
on labels. For now, we just drop this attribute since Rmtmps will
remove unused labels anyways. Thanks to Peter Hawkins for the patch.
* 18 January 2007: Require the destination of a Call to have the same
type as the function’s return type, even if it means inserting a
temporary. To get the old behavior, set Cabs2cil.doCollapseCallCast
to true as described in .
* 17 January 2007: Fix for __builtin_offsetof when the field name is
also a typedef name.
* 17 January 2007: Fixed loadBinaryFile (Sourceforge bug #1548894).
You should only use loadBinaryFile if no other code has been
loaded or generated in the current CIL process, since
loadBinaryFile needs to load some global state.
* 18 December 2006: The --stats flag now gets the CPU speed at
runtime rather than configure-time, so binary executables can be
moved to different computers.
* 14 December 2006: Fixed various warnings and errors on 64-bit
architectures.
* 26 November 2006: Christoph Spiel added “--no” options to many of
CIL’s command-line flags.
* 21 November 2006: Merged gccBuiltins and msvcBuiltins into a single
table builtinFunctions that is initialized by initCIL.
* 28 October 2006: Added the field vdescr to the varinfo struct to
remember what value is stored in certain CIL-introduced
temporary variables. For example, if CIL adds a temporary to
store the result of foo(a,b), then the description will be
“foo(a,b)”. The new printer descriptiveCilPrinter will
substitute descriptions for the names of temporaries. The result
is not necessarily valid C, but it may let you produce more
helpful error messages in your analysis tools: “The value
foo(a,b) may be tainted” vs. “The value __cil_tmp29 may be
tainted.”
* 27 October 2006: Fixed a bug with duplicate entries in the
statement list of Switch nodes, and forbade duplicate default cases.
* 12 October 2006: Added a new function expToAttrParam that attempts
to convert an expression into a attribute parameter.
* 12 October 2006: Added an attribute with the length of the array,
when array types of formal arguments are converted to pointer types.
* 29 September 2006: Benjamin Monate fixed a bug in compound local
initializers that was causing duplicate code to be added.
* 9 August 2006: Changed the patcher to print “#line nnn” directives
instead of “# nnn”.
* 6 August 2006: Joseph Koshy patched ./configure for FreeBSD on
amd64.
* 27 July 2006: CIL files now include the prototypes of builtin
functions (such as __builtin_va_arg). This preserves the invariant
that every function call has a corresponding function or function
prototype in the file. However, the prototypes of builtins are not
printed in the output files.
* 23 July 2006: Incorporated some fixes for the constant folding for
lvalues, and fixed grammatical errors. Thanks to Christian Stork.
* 23 July 2006: Changed the way ./configure works. We now generate
the file Makefile.features to record the configuration features.
This is because autoconf does not work properly with multiline
substitutions.
* 21 July 2006: Cleaned up the printing of some Lvals. Things that
were printed as “(*i)” before are now printed simply as “*i” (no
parentheses). However, this means that when you use pLval to print
lvalues inside expressions, you must take care about parentheses
yourself. Thanks to Benjamin Monate for pointing this out.
* 21 July 2006: Added new hooks to the Usedef and
Dataflow.BackwardsTransfer APIs. Code that uses these will need to
be changed slightly. Also, updated the Cfg code to handle noreturn
functions.
* 17 July 2006: Fix parsing of attributes on bitfields and empty
attribute lists. Thanks to Peter Hawkins.
* 10 July 2006: Fix Makefile problem for FreeBSD. Thanks to Joseph
Koshy for the patch.
* 25 June 2006: Extended the inline assembly to support named
arguments, as added in gcc 3.0. This changes the types of the input
and output lists from “(string * lval) list” to
“(string option * string * lval) list”. Some existing code will need
to be modified accordingly.
* 11 June 2006: Removed the function Cil.foldLeftCompoundAll. Use
instead foldLeftCompound with ~implicit:true.
* 9 June 2006: Extended the definition of the cilVisitor for
initializers to pass more information around. This might result in
backward incompatibilities with code that uses the visitor for
initializers.
* 2 June 2006: Added --commPrintLnSparse flag.
* 1 June 2006: Christian Stork provided some fixes for the handling
of variable argument functions.
* 1 June 2006: Added support for x86 performance counters on 64-bit
processors. Thanks to tbergen for the patch.
* 23 May 2006: Benjamin Monate fixed a lexer bug when a preprocessed
file is missing a final newline.
* 23 May 2006: Fix for typeof(e) when e has type void.
20 May 2006: cil-1.3.5
* 19 May 2006: Makefile.cil.in/Makefile.cil have been renamed
Makefile.in/Makefile. And maincil.ml has been renamed main.ml.
* 18 May 2006: Added a new module Cfg to compute the control-flow
graph. Unlike the older computeCFGInfo, the new version does
not modify the code.
* 18 May 2006: Added several new analyses: reaching definitions,
available expressions, liveness analysis, and dead code
elimination. See .
* 2 May 2006: Added a flag --noInsertImplicitCasts. When this flag
is used, CIL code will only include casts inserted by the
programmer. Implicit coercions are not changed to explicit casts.
* 16 April 2006: Minor improvements to the --stats flag (). We now
use Pentium performance counters by default, if your processor
supports them.
* 10 April 2006: Extended machdep.c to support microcontroller
compilers where the struct alignment of integer types does not
match the size of the type. Thanks to Nathan Cooprider for the
patch.
* 6 April 2006: Fix for global initializers of unions when the union
field being initialized is not the first one, and for missing
initializers of unions when the first field is not the largest
field.
* 6 April 2006: Fix for bitfields in the SFI module.
* 6 April 2006: Various fixes for gcc attributes. packed, section,
and always_inline attributes are now parsed correctly. Also
fixed printing of attributes on enum types.
* 30 March 2006: Fix for rmtemps.ml, which deletes unused inline
functions. When in gcc mode CIL now leaves all inline functions
in place, since gcc treats these as externally visible.
* 3 March 2006: Assume inline assembly instructions can fall through
for the purposes of adding return statements. Thanks to Nathan
Cooprider for the patch.
* 27 February 2006: Fix for extern inline functions when the output
of CIL is fed back into CIL.
* 30 January 2006: Fix parsing of switch without braces.
* 30 January 2006: Allow ‘$’ to appear in identifiers.
* 13 January 2006: Added support for gcc’s alias attribute on
functions. See , item 8.
* 9 December 2005: Christoph Spiel fixed the Golf and Olf modules so
that Golf can be used with the points-to analysis. He also added
performance fixes and cleaned up the documentation.
* 1 December 2005: Major rewrite of the ext/callgraph module.
* 1 December 2005: Preserve enumeration constants in CIL. Default is
the old behavior to replace them with integers.
* 30 November 2005: Added support for many GCC __builtin functions.
* 30 November 2005: Added the EXTRAFEATURES configure option, making
it easier to add Features to the build process.
* 23 November 2005: In MSVC mode do not remove any locals whose name
appears as a substring in an inline assembly.
* 23 November 2005: Do not add a return to functions that have the
noreturn attribute.
22 November 2005: cil-1.3.4
* 21 November 2005: Performance and correctness fixes for the
Points-to Analysis module. Thanks to Christoph Spiel for the
patches.
* 5 October 2005: CIL now builds on SPARC/Solaris. Thanks to Nick
Petroni and Remco van Engelen for the patches.
* 26 September 2005: CIL no longer uses the ‘-I-’ flag by default
when preprocessing with gcc.
* 24 August 2005: Added a command-line option “--forceRLArgEval”
that forces function arguments to be evaluated right-to-left.
This is the default behavior in unoptimized gcc and MSVC, but
the order of evaluation is undefined when using optimizations,
unless you apply this CIL transformation. This flag does not
affect the order of evaluation of e.g. binary operators, which
remains undefined. Thanks to Nathan Cooprider for the patch.
* 9 August 2005: Fixed merging when there are more than 20 input
files.
* 3 August 2005: When merging, it is now an error to declare the
same global variable twice with different initializers.
* 27 July 2005: Fixed bug in transparent unions.
* 27 July 2005: Fixed bug in collectInitializer. Thanks to Benjamin
Monate for the patch.
* 26 July 2005: Better support for extended inline assembly in gcc.
* 26 July 2005: Added many more gcc __builtin* functions to CIL.
Most are treated as Call instructions, but a few are translated
into expressions so that they can be used in global
initializers. For example, “__builtin_offsetof(t, field)” is
rewritten as “&((t*)0)->field”, the traditional way of
calculating an offset.
* 18 July 2005: Fixed bug in the constant folding of shifts when the
second argument was negative or too large.
* 18 July 2005: Fixed bug where casts were not always inserted in
function calls.
* 10 June 2005: Fixed bug in the code that makes implicit returns
explicit. We weren’t handling switch blocks correctly.
1 June 2005: cil-1.3.3
* 31 May 2005: Fixed handling of noreturn attribute for function
pointers.
* 30 May 2005: Fixed bugs in the handling of constructors in gcc.
* 30 May 2005: Fixed bugs in the generation of global variable IDs.
* 27 May 2005: Reimplemented the translation of function calls so
that we can intercept some builtins. This is important for the
uses of __builtin_constant_p in constants.
* 27 May 2005: Export the plainCilPrinter, for debugging.
* 27 May 2005: Fixed bug with printing of const attribute for
arrays.
* 27 May 2005: Fixed bug in generation of type signatures. Now they
should not contain expressions anymore, so you can use
structural equality. This used to lead to Out_of_Memory
exceptions.
* 27 May 2005: Fixed bug in type comparisons using TBuiltin_va_list.
* 27 May 2005: Improved the constant folding in array lengths and
case expressions.
* 27 May 2005: Added the __builtin_frame_address to the set of gcc
builtins.
* 27 May 2005: Added the CIL project to SourceForge.
* 23 April 2005: The cattr field was not visited.
* 6 March 2005: Debian packaging support
* 16 February 2005: Merger fixes.
* 11 February 2005: Fixed a bug in --dopartial. Thanks to Nathan
Cooprider for this fix.
* 31 January 2005: Make sure the input file is closed even if a
parsing error is encountered.
11 January 2005: cil-1.3.2
* 11 January 2005: Fixed printing of integer constants whose integer
kind is shorter than an int.
* 11 January 2005: Added checks for negative size arrays and arrays
too big.
* 10 January 2005: Added support for GCC attribute “volatile” for
tunctions (as a synonim for noreturn).
* 10 January 2005: Improved the comparison of array sizes when
comparing array types.
* 10 January 2005: Fixed handling of shell metacharacters in the
cilly command lione.
* 10 January 2005: Fixed dropping of cast in initialization of local
variable with the result of a function call.
* 10 January 2005: Fixed some structural comparisons that were
broken in the Ocaml 3.08.
* 10 January 2005: Fixed the unrollType function to not forget
attributes.
* 10 January 2005: Better keeping track of locations of function
prototypes and definitions.
* 10 January 2005: Fixed bug with the expansion of enumeration
constants in attributes.
* 18 October 2004: Fixed a bug in cabsvisit.ml. CIl would wrap a
BLOCK around a single atom unnecessarily.
7 August 2004: cil-1.3.1
* 4 August 2004: Fixed a bug in splitting of structs using
*-dosimplify
* 29 July 2004: Minor changes to the type typeSig (type signatures)
to ensure that they do not contain types, so that you can do
structural comparison without danger of nontermination.
* 28 July 2004: Ocaml version 3.08 is required. Numerous small
changes while porting to Ocaml 3.08.
7 July 2004: cil-1.2.6
* 2 July 2004: Character constants such as ’c’ should have type int,
not char. Added a utility function Cil.charConstToInt that
sign-extends chars greater than 128, if needed.
* 2 July 2004: Fixed a bug that was casting values to int before
applying the logical negation operator !. This caused problems
for floats, and for integer types bigger than int.
* 13 June 2004: Added the field sallstmts to a function description,
to hold all statements in the function.
* 13 June 2004: Added new extensions for data flow analyses, and for
computing dominators.
* 10 June 2004: Force initialization of CIL at the start of
Cabs2cil.
* 9 June 2004: Added support for GCC __attribute_used__
7 April 2004: cil-1.2.5
* 7 April 2004: Allow now to run ./configure CC=cl and set the MSVC
compiler to be the default. The MSVC driver will now select the
default name of the .exe file like the CL compiler.
* 7 April 2004: Fixed a bug in the driver. The temporary files are
deleted by the Perl script before the CL compiler gets to them?
* 7 April 2004: Added the - form of arguments to the MSVC driver.
* 7 April 2004: Added a few more GCC-specific string escapes, (, [,
{, %, E.
* 7 April 2004: Fixed bug with continuation lines in MSVC.
* 6 April 2004: Fixed embarassing bug in the parser: the precedence
of casts and unary operators was switched.
* 5 April 2004: Fixed a bug involving statements mixed between
declarations containing initializers. Now we make sure that the
initializers are run in the proper order with respect to the
statements.
* 5 April 2004: Fixed a bug in the merger. The merger was keeping
separate alpha renaming talbes (namespaces) for variables and
types. This means that it might end up with a type and a
variable named the same way, if they come from different files,
which breaks an important CIL invariant.
* 11 March 2004 : Fixed a bug in the Cil.copyFunction function. The
new local variables were not getting fresh IDs.
* 5 March 2004: Fixed a bug in the handling of static function
prototypes in a block scope. They used to be renamed. Now we
just consider them global.
20 February 2004: cil-1.2.4
* 15 February 2004: Changed the parser to allow extra semicolons
after field declarations.
* 14 February 2004: Changed the Errormsg functions: error, unimp,
bug to not raise an exception. Instead they just set
Errormsg.hadErrors.
* 13 February 2004: Change the parsing of attributes to recognize
enumeration constants.
* 10 February 2004: In some versions of gcc the identifier _{thread
is an identifier and in others it is a keyword. Added code
during configuration to detect which is the case.
7 January 2004: cil-1.2.3
* 7 January 2004: Changed the alpha renamer to be less conservative.
It will remember all versions of a name that were seen and will
only create a new name if we have not seen one.
* 30 December 2003 : Extended the cilly command to understand better
linker command options -lfoo.
* 5 December 2003: Added markup commands to the pretty-printer
module. Also, changed the “@<” left-flush command into “@^”.
* 4 December 2003: Wide string literals are now handled directly by
Cil (rather than being exploded into arrays). This is apparently
handy for Microsoft Device Driver APIs that use intrinsic
functions that require literal constant wide-string arguments.
* 3 December 2003: Added support for structured exception handling
extensions for the Microsoft compilers.
* 1 December 2003: Fixed a Makefile bug in the generation of the Cil
library (e.g., cil.cma) that was causing it to be unusable.
Thanks to KEvin Millikin for pointing out this bug.
* 26 November 2003: Added support for linkage specifications (extern
“C”).
* 26 November 2003: Added the ocamlutil directory to contain some
utilities shared with other projects.
25 November 2003: cil-1.2.2
* 24 November 2003: Fixed a bug that allowed a static local to
conflict with a global with the same name that is declared later
in the file.
* 24 November 2003: Removed the --keep option of the cilly driver
and replaced it with --save-temps.
* 24 November 2003: Added printing of what CIL features are being
run.
* 24 November 2003: Fixed a bug that resulted in attributes being
dropped for integer types.
* 11 November 2003: Fixed a bug in the visitor for enumeration
definitions.
* 24 October 2003: Fixed a problem in the configuration script. It
was not recognizing the Ocaml version number for beta versions.
* 15 October 2003: Fixed a problem in version 1.2.1 that was
preventing compilation on OCaml 3.04.
17 September 2003: cil-1.2.1
* 7 September 2003: Redesigned the interface for choosing #line
directive printing styles. Cil.printLn and Cil.printLnComment
have been merged into Cil.lineDirectiveStyle.
* 8 August 2003: Do not silently pad out functions calls with
arguments to match the prototype.
* 1 August 2003: A variety of fixes suggested by Steve Chamberlain:
initializers for externs, prohibit float literals in enum,
initializers for unsized arrays were not working always, an
overflow problem in Ocaml, changed the processing of attributes
before struct specifiers
* 14 July 2003: Add basic support for GCC’s "__thread" storage
qualifier. If given, it will appear as a "thread" attribute at
the top of the type of the declared object. Treatment is very
similar to "__declspec(...)" in MSVC
* 8 July 2003: Fixed some of the __alignof computations. Fixed bug
in the designated initializers for arrays (Array.get error).
* 8 July 2003: Fixed infinite loop bug (Stack Overflow) in the
visitor for __alignof.
* 8 July 2003: Fixed bug in the conversion to CIL. A function or
array argument of the GCC __typeof() was being converted to
pointer type. Instead, it should be left alone, just like for
sizeof.
* 7 July 2003: New Escape module provides utility functions for
escaping characters and strings in accordance with C lexical
rules.
* 2 July 2003: Relax CIL’s rules for when two enumeration types are
considered compatible. Previously CIL considered two enums to be
compatible if they were the same enum. Now we follow the C99
standard.
* 28 June 2003: In the Formatparse module, Eric Haugh found and
fixed a bug in the handling of lvalues of the form
“lv->field.more”.
* 28 June 2003: Extended the handling of gcc command lines arguments
in the Perl scripts.
* 23 June 2003: In Rmtmps module, simplified the API for customizing
the root set. Clients may supply a predicate that returns true
for each root global. Modifying various “referenced” fields
directly is no longer supported.
* 17 June 2003: Reimplement internal utility routine
Cil.escape_char. Faster and better.
* 14 June 2003: Implemented support for __attribute__s appearing
between "struct" and the struct tag name (also for unions and
enums), since gcc supports this as documented in section 4.30 of
the gcc (2.95.3) manual
28 May 2003: cil-1.1.2
* 26 May 2003: Add the simplify module that compiles CIL expressions
into simpler expressions, similar to those that appear in a
3-address intermediate language.
* 26 May 2003: Various fixes and improvements to the pointer
analysis modules.
* 26 May 2003: Added optional consistency checking for
transformations.
* 25 May 2003: Added configuration support for big endian machines.
Now little_endian can be used to test whether the machine is
little endian or not.
* 22 May 2003: Fixed a bug in the handling of inline functions. The
CIL merger used to turn these functions into “static”, which is
incorrect.
* 22 May 2003: Expanded the CIL consistency checker to verify
undesired sharing relationships between data structures.
* 22 May 2003: Fixed bug in the oneret CIL module: it was
mishandling certain labeled return statements.
5 May 2003: cil-1.0.11
* 5 May 2003: OS X (powerpc/darwin) support for CIL. Special thanks
to Jeff Foster, Andy Begel and Tim Leek.
* 30 April 2003: Better description of how to use CIL for your
analysis.
* 28 April 2003: Fixed a bug with --dooneRet and --doheapify.
Thanks, Manos Renieris.
* 16 April 2003: Reworked management of temporary/intermediate
output files in Perl driver scripts. Default behavior is now to
remove all such files. To keep intermediate files, use one of
the following existing flags:
* --keepmerged for the single-file merge of all sources
* --keep=<dir> for various other CIL and CCured output files
* --save-temps for various gcc intermediate files; MSVC has no
equivalent option
As part of this change, some intermediate files have changed
their names slightly so that new suffixes are always preceded by
a period. For example, CCured output that used to appear in
“foocured.c” now appears in “foo.cured.c”.
* 7 April 2003: Changed the representation of the GVar global
constructor. Now it is possible to update the initializer
without reconstructing the global (which in turn it would
require reconstructing the list of globals that make up a
program). We did this because it is often tempting to use
visitCilFileSameGlobals and the GVar was the only global that
could not be updated in place.
* 6 April 2003: Reimplemented parts of the cilly.pl script to make
it more robust in the presence of complex compiler arguments.
10 March 2003: cil-1.0.9
* 10 March 2003: Unified and documented a large number of CIL
Library Modules: oneret, simplemem, makecfg, heapify,
stackguard, partial. Also documented the main client interface
for the pointer analysis.
* 18 February 2003: Fixed a bug in logwrites that was causing it to
produce invalid C code on writes to bitfields. Thanks, David
Park.
15 February 2003: cil-1.0.8
* 15 February 2003: PDF versions of the manual and API are available
for those who would like to print them out.
* 14 February 2003: CIL now comes bundled with alias analyses.
* 11 February 2003: Added support for adding/removing options from
./configure.
3 February 2003: cil-1.0.7
* 1 February 2003: Some bug fixes in the handling of variable
argument functions in new versions of gcc And glibc.
* 29 January 2003: Added the logical AND and OR operators. Exapanded
the translation to CIL to handle more complicated initializers
(including those that contain logical operators).
28 January 2003: cil-1.0.6
* 28 January 2003: Added support for the new handling of
variable-argument functions in new versions of glibc.
* 19 January 2003: Added support for declarations in interpreted
constructors. Relaxed the semantics of the patterns for
variables.
* 17 January 2003: Added built-in prototypes for the gcc built-in
functions. Changed the pGlobal method in the printers to print
the carriage return as well.
* 9 January 2003: Reworked lexer and parser’s strategy for tracking
source file names and line numbers to more closely match typical
native compiler behavior. The visible CIL interface is
unchanged.
* 9 January 2003: Changed the interface to the alpha convertor. Now
you can pass a list where it will record undo information that
you can use to revert the changes that it makes to the scope
tables.
6 January 2003: cil-1.0.5
* 4 January 2003: Changed the interface for the Formatcil module.
Now the placeholders in the pattern have names. Also expanded
the documentation of the Formatcil module. Now the placeholders
in the pattern have names.
* 3 January 2003: Extended the rmtmps module to also remove unused
labels that are generated in the conversion to CIL. This reduces
the number of warnings that you get from cgcc afterwards.
* 17 December 2002: Fixed a few bugs in CIL related to the
representation of string literals. The standard says that a
string literal is an array. In CIL, a string literal has type
pointer to character. This is Ok, except as an argument of
sizeof. To support this exception, we have added to CIL the
expression constructor SizeOfStr. This allowed us to fix bugs
with computing sizeof("foo bar") and sizeof((char*)"foo bar")
(the former is 8 and the latter is 4).
* 8 December 2002: Fixed a few bugs in the lexer and parser relating
to hex and octal escapes in string literals. Also fixed the
dependencies between the lexer and parser.
* 5 December 2002: Fixed visitor bugs that were causing some
attributes not to be visited and some queued instructions to be
dropped.
* 3 December 2002: Added a transformation to catch stack overflows.
Fixed the heapify transformation.
14 October 2002: cil-1.0.4
* 14 October 2002: CIL is now available under the BSD license (see
the License section or the file LICENSE).
9 October 2002: cil-1.0.3
* 9 October 2002: More FreeBSD configuration changes, support for
the GCC-ims __signed and __volatile. Thanks to Axel Simon for
pointing out these problems.
* 8 October 2002: FreeBSD configuration and porting fixes. Thanks to
Axel Simon for pointing out these problems.
* 10 September 2002: Fixed bug in conversion to CIL. Now we drop all
“const” qualifiers from the types of locals, even from the
fields of local structures or elements of arrays.
* 7 September 2002: Extended visitor interface to distinguish
visiting offsets inside lvalues from offsets inside initializer
lists.
7 September 2002: cil-1.0.1
* 6 September 2002: Extended the patcher with the ateof flag.
* 4 September 2002: Fixed bug in the elaboration to CIL. In some
cases constant folding of || and && was computed wrong.
* 3 September 2002: Fixed the merger documentation.
29 August 2002: cil-1.0.0
* 29 August 2002: Started numbering versions with a major nubmer,
minor and revisions.
* 25 August 2002: Fixed the implementation of the unique identifiers
for global variables and composites. Now those identifiers are
globally unique.
* 24 August 2002: Added to the machine-dependent configuration the
sizeofvoid. It is 1 on gcc and 0 on MSVC. Extended the
implementation of Cil.bitsSizeOf to handle this (it was
previously returning an error when trying to compute the size of
void).
* 24 August 2002: Changed the representation of structure and unions
to distinguish between undefined structures and those that are
defined to be empty (allowed on gcc). The sizeof operator is
undefined for the former and returns 0 for the latter.
* 22 August 2002: Apply a patch from Richard H. Y. to support
FreeBSD installations. Thanks, Richard!
* 12 August 2002: Fixed a bug in the translation of wide-character
strings. Now this translation matches that of the underlying
compiler. Changed the implementation of the compiler
dependencies.
* 25 May 2002: Added interpreted constructors and destructors.
* 17 May 2002: Changed the representation of functions to move the
“inline” information to the varinfo. This way we can print the
“inline” even in declarations which is what gcc does.
* 15 May 2002: Changed the visitor for initializers to make two
tail-recursive passes (the second is a List.rev and only done if
one of the initializers change). This prevents Stack_Overflow
for large initializers. Also improved the processing of
initializers when converting to CIL.
* 15 May 2002: Changed the front-end to allow the use of MSVC mode
even on machines that do not have MSVC. The machine-dependent
parameters for GCC will be used in that case.
* 11 May 2002: Changed the representation of formals in function
types. Now the function type is purely functional.
* 4 May 2002: Added the function visitCilFileSameGlobals and changed
visitCilFile to be tail recursive. This prevents stack overflow
on huge files.
* 28 February 2002: Changed the significance of the CompoundInit in
init to allow for missing initializers at the end of an array
initializer. Added the API function foldLeftCompoundAll.