Changes in / [211228e0:8c01e1b]
- Files:
-
- 5 edited
-
doc/bibliography/pl.bib (modified) (2 diffs)
-
libcfa/configure (modified) (1 diff)
-
libcfa/configure.ac (modified) (1 diff)
-
libcfa/src/Makefile.am (modified) (1 diff)
-
libcfa/src/Makefile.in (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
doc/bibliography/pl.bib
r211228e0 r8c01e1b 1146 1146 author = {Tarditi, David and Elliott, Archibald Samuel and Ruef, Andrew and Hicks, Michael}, 1147 1147 title = {Checked C: Making C Safe by Extension}, 1148 booktitle = {2018 IEEE Cybersecurity Development (SecDev)} ,1149 year = {2018},1150 month = {September},1151 pages = {53-60},1152 publisher = {IEEE},1153 url = {https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/},1148 booktitle = {2018 IEEE Cybersecurity Development (SecDev)} 1149 year = {2018}, 1150 month = {September}, 1151 pages = {53-60}, 1152 publisher = {IEEE}, 1153 url = {https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/}, 1154 1154 } 1155 1155 1156 1156 @misc{Clang, 1157 keywords = {clang},1158 contributer = {a3moss@uwaterloo.ca},1159 title = {Clang: a {C} language family frontend for {LLVM}},1160 howpublished = {\href{https://clang.llvm.org/}{https://\-clang.llvm.org/}},1161 note = {Accessed 2019-02-22}1157 keywords = {clang}, 1158 contributer = {a3moss@uwaterloo.ca}, 1159 title = {Clang: a {C} language family frontend for {LLVM}}, 1160 howpublished = {\href{https://clang.llvm.org/}{https://\-clang.llvm.org/}}, 1161 note = {Accessed 2019-02-22} 1162 1162 } 1163 1163 … … 3739 3739 optaddress = {Waterloo, Ontario, Canada, N2L 3G1}, 3740 3740 note = {\href{https://uwspace.uwaterloo.ca/handle/10012/13935}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-13935}}, 3741 }3742 3743 @article{Swift05,3744 contributer = {pabuhr@plg},3745 author = {Michael M. Swift and Brian N. Bershad and Henry M. Levy},3746 title = {Improving the Reliability of Commodity Operating Systems},3747 journal = tocs,3748 volume = 23,3749 number = 1,3750 month = feb,3751 year = 2005,3752 pages = {77-110},3753 3741 } 3754 3742 -
libcfa/configure
r211228e0 r8c01e1b 2977 2977 ;; 2978 2978 esac 2979 2980 CONFIG_CFAFLAGS="${CONFIG_CFAFLAGS} ${CFAFLAGS}"2981 2979 2982 2980 -
libcfa/configure.ac
r211228e0 r8c01e1b 64 64 esac 65 65 66 CONFIG_CFAFLAGS="${CONFIG_CFAFLAGS} ${CFAFLAGS}"67 68 66 AC_SUBST(CONFIG_CFLAGS) 69 67 AC_SUBST(CONFIG_CFAFLAGS) -
libcfa/src/Makefile.am
r211228e0 r8c01e1b 74 74 75 75 prelude.o : prelude.cfa extras.cf gcc-builtins.cf builtins.cf @CFACC@ @CFACPP@ 76 ${AM_V_GEN} $(CFACOMPILE) -quiet -in-tree-XCFA -l ${<} -c -o ${@}76 ${AM_V_GEN}@CFACC@ ${AM_CFLAGS} ${CFLAGS} -quiet -in-tree @CONFIG_CFAFLAGS@ -XCFA -l ${<} -c -o ${@} 77 77 78 78 prelude.lo: prelude.cfa extras.cf gcc-builtins.cf builtins.cf @CFACC@ @CFACPP@ 79 79 ${AM_V_GEN}$(LIBTOOL) $(AM_V_lt) --tag=CC $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=compile \ 80 $(CFACOMPILE) -quiet -in-tree-XCFA -l ${<} -c -o ${@}80 @CFACC@ ${AM_CFLAGS} ${CFLAGS} -quiet -in-tree @CONFIG_CFAFLAGS@ -XCFA -l ${<} -c -o ${@} 81 81 82 82 -
libcfa/src/Makefile.in
r211228e0 r8c01e1b 926 926 927 927 prelude.o : prelude.cfa extras.cf gcc-builtins.cf builtins.cf @CFACC@ @CFACPP@ 928 ${AM_V_GEN} $(CFACOMPILE) -quiet -in-tree-XCFA -l ${<} -c -o ${@}928 ${AM_V_GEN}@CFACC@ ${AM_CFLAGS} ${CFLAGS} -quiet -in-tree @CONFIG_CFAFLAGS@ -XCFA -l ${<} -c -o ${@} 929 929 930 930 prelude.lo: prelude.cfa extras.cf gcc-builtins.cf builtins.cf @CFACC@ @CFACPP@ 931 931 ${AM_V_GEN}$(LIBTOOL) $(AM_V_lt) --tag=CC $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=compile \ 932 $(CFACOMPILE) -quiet -in-tree-XCFA -l ${<} -c -o ${@}932 @CFACC@ ${AM_CFLAGS} ${CFLAGS} -quiet -in-tree @CONFIG_CFAFLAGS@ -XCFA -l ${<} -c -o ${@} 933 933 934 934 #----------------------------------------------------------------------------------------------------------------
Note:
See TracChangeset
for help on using the changeset viewer.