⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 patches for pc-lint and flexelint for c-c++ version 8_00.mht

📁 PC-Lint是一种静态代码检测工具
💻 MHT
📖 第 1 页 / 共 5 页
字号:
From: <由 Microsoft Internet Explorer 5 保存>
Subject: Patches for PC-lint and FlexeLint for C/C++ Version 8.00
Date: Sat, 15 Jan 2005 21:35:12 +0800
MIME-Version: 1.0
Content-Type: multipart/related;
	boundary="----=_NextPart_000_0000_01C4FB4A.181F1B60";
	type="text/html"
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106

This is a multi-part message in MIME format.

------=_NextPart_000_0000_01C4FB4A.181F1B60
Content-Type: text/html;
	charset="gb2312"
Content-Transfer-Encoding: quoted-printable
Content-Location: http://www.gimpel.com/html/ptch80.htm

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>Patches for PC-lint and FlexeLint for C/C++ Version =
8.00</TITLE>
<META http-equiv=3DContent-Type content=3D"text/html; =
charset=3Dgb2312"><LINK=20
href=3D"http://www.gimpel.com/html/gs.css" type=3Dtext/css =
rel=3Dstylesheet>
<META=20
content=3D"Gimpel Software Patches for PC-lint and&#13;&#10;      =
FlexeLint for C/C++"=20
name=3Ddescription>
<META=20
content=3D"FlexeLint, C/C++, static analysis, PC-lint,&#13;&#10;       =
static debugging, static, UNIX lint, lint"=20
name=3Dkeywords>
<META content=3D"MSHTML 6.00.2800.1106" name=3DGENERATOR></HEAD>
<BODY bgColor=3D#fffff5>
<TABLE style=3D"POSITION: absolute; TOP: 0px" cellSpacing=3D0 =
cellPadding=3D0=20
width=3D650 border=3D0>
  <TBODY>
  <TR>
    <TD>
      <TABLE cellSpacing=3D0 cellPadding=3D0 border=3D0>
        <TBODY>
        <TR>
          <TD width=3D300><A href=3D"http://www.gimpel.com/"><IMG=20
            style=3D"BORDER-RIGHT: medium none; BORDER-TOP: medium none; =
BORDER-LEFT: medium none; BORDER-BOTTOM: medium none"=20
            src=3D"http://www.gimpel.com/html/gslogo2.gif" =
align=3Dtop></A></TD>
          <TD>
            <TABLE cellSpacing=3D0 cellPadding=3D0 border=3D0>
              <TBODY>
              <TR>
                <TD class=3Dtopbar><IMG=20
                  src=3D"http://www.gimpel.com/html/bartrans.gif" =
align=3Dtop=20
                  border=3D0> </TD>
                <TD class=3Dtopbarspace>&nbsp; <A class=3Dtopbarlink=20
                  onmouseover=3D"this.style.color=3D'#99BBFF'"=20
                  onmouseout=3D"this.style.color=3D'#FFFFF5'"=20
                  =
href=3D"http://www.gimpel.com/html/order.htm">Order</A>&nbsp;=20
                  &nbsp; &nbsp; &nbsp; <A class=3Dtopbarlink=20
                  onmouseover=3D"this.style.color=3D'#99BBFF'"=20
                  onmouseout=3D"this.style.color=3D'#FFFFF5'"=20
                  href=3D"http://www.gimpel.com/html/ptch80.htm">Lint =
8.00=20
                  Patches</A>&nbsp; &nbsp; &nbsp; &nbsp; <A =
class=3Dtopbarlink=20
                  onmouseover=3D"this.style.color=3D'#99BBFF'"=20
                  onmouseout=3D"this.style.color=3D'#FFFFF5'"=20
                  =
href=3D"http://www.gimpel.com/discussion.cfm?categoryid=3D0">Discussion=20
                  Forum</A>&nbsp; &nbsp; </TD></TR>
              <TR>
                <TD class=3Dmidbartext align=3Dright colSpan=3D4><A =
class=3Dmidbarlink=20
                  onmouseover=3D"this.style.color=3D'red'"=20
                  onmouseout=3D"this.style.color=3D'#1B278E'"=20
                  =
href=3D"http://www.gimpel.com/html/contact.htm">Contact</A>&nbsp;=20
                  &nbsp; &nbsp; <A class=3Dmidbarlink=20
                  onmouseover=3D"this.style.color=3D'red'"=20
                  onmouseout=3D"this.style.color=3D'#1B278E'"=20
                  href=3D"http://www.gimpel.com/html/sitemap.htm">Site=20
                  Map</A>&nbsp; &nbsp; &nbsp; &nbsp; <A =
class=3Dmidbarlink=20
                  href=3D"http://www.gimpel.com/html/bugs.htm"><IMG=20
                  src=3D"http://www.gimpel.com/html/bug.gif" =
border=3D0></A>=20
              </TD></TR></TBODY></TABLE></TD></TR></TBODY></TABLE><IMG =
height=3D4=20
      src=3D"http://www.gimpel.com/html/horizbar.gif" align=3Dtop> =
</TD></TR>
  <TR>
    <TD>
      <TABLE cellSpacing=3D6 cellPadding=3D0 align=3Dleft border=3D0 =
valign=3D"top">
        <TBODY>
        <TR vAlign=3Dtop align=3Dleft>
          <TD>
            <TABLE cellSpacing=3D0 cellPadding=3D0 width=3D150>
              <TBODY>
              <TR>
                <TD class=3Dleftbarbutton style=3D"BORDER-TOP: medium =
none"><A=20
                  class=3Dleftbarlink =
onmouseover=3D"this.style.color=3D'#99BBFF'"=20
                  onmouseout=3D"this.style.color=3D'#FFFFF5'"=20
                  href=3D"http://www.gimpel.com/"><IMG=20
                  src=3D"http://www.gimpel.com/html/arright.gif"=20
                  border=3D0>&nbsp;&nbsp; Home</A></TD></TR>
              <TR>
                <TD class=3Dleftbarbutton><A class=3Dleftbarlink=20
                  onmouseover=3D"this.style.color=3D'#99BBFF'"=20
                  onmouseout=3D"this.style.color=3D'#FFFFF5'"=20
                  href=3D"http://www.gimpel.com/html/bugs.htm"><IMG=20
                  src=3D"http://www.gimpel.com/html/arright.gif"=20
                  border=3D0>&nbsp;&nbsp; Bug of the Month</A></TD></TR>
              <TR>
                <TD class=3Dleftbarbutton><A class=3Dleftbarlink=20
                  onmouseover=3D"this.style.color=3D'#99BBFF'"=20
                  onmouseout=3D"this.style.color=3D'#FFFFF5'"=20
                  href=3D"http://www.gimpel.com/html/products.htm"><IMG=20
                  src=3D"http://www.gimpel.com/html/arright.gif"=20
                  border=3D0>&nbsp;&nbsp; Products</A></TD></TR>
              <TR>
                <TD class=3Dleftbarbutton><A class=3Dleftbarlink=20
                  onmouseover=3D"this.style.color=3D'#99BBFF'"=20
                  onmouseout=3D"this.style.color=3D'#FFFFF5'"=20
                  href=3D"http://www.gimpel.com/html/order.htm"><IMG=20
                  src=3D"http://www.gimpel.com/html/arright.gif"=20
                  border=3D0>&nbsp;&nbsp; Order</A></TD></TR>
              <TR>
                <TD class=3Dleftbarbutton><A class=3Dleftbarlinkselected =

                  href=3D"http://www.gimpel.com/html/support.htm"><IMG=20
                  src=3D"http://www.gimpel.com/html/ardown.gif"=20
                  border=3D0>&nbsp;&nbsp; Support</A></TD></TR><!-- =
BEGIN SUPPORT SUB-MENU -->
              <TR>
                <TD>
                  <TABLE cellSpacing=3D0 cellPadding=3D2 width=3D"100%" =
border=3D0>
                    <TBODY>
                    <TR>
                      <TD class=3Dsubmenubutton>&nbsp;&nbsp;&nbsp; <A=20
                        class=3Dsubmenulink =
onmouseover=3D"this.style.color=3D'red'"=20
                        onmouseout=3D"this.style.color=3D'#1B278E'"=20
                        =
href=3D"http://www.gimpel.com/html/techfaq.htm">FAQ</A></TD></TR>
                    <TR>
                      <TD class=3Dsubmenubutton>&nbsp;&nbsp;&nbsp; <A=20
                        class=3Dsubmenulink =
onmouseover=3D"this.style.color=3D'red'"=20
                        onmouseout=3D"this.style.color=3D'#1B278E'"=20
                        =
href=3D"http://www.gimpel.com/html/ptch80.htm">Patches</A></TD></TR>
                    <TR>
                      <TD class=3Dsubmenubutton>&nbsp;&nbsp;&nbsp; <A=20
                        class=3Dsubmenulink =
onmouseover=3D"this.style.color=3D'red'"=20
                        onmouseout=3D"this.style.color=3D'#1B278E'"=20
                        =
href=3D"http://www.gimpel.com/discussion.cfm?categoryid=3D0">Discussion=20
                        =
Forum</A></TD></TR></TBODY></TABLE></TD></TR><!-- END SUPPORT SUB-MENU =
-->
              <TR>
                <TD class=3Dleftbarbutton=20
                style=3D"BORDER-RIGHT: medium none; BORDER-TOP: medium =
none; BORDER-LEFT: medium none; BORDER-BOTTOM: medium none"><A=20
                  class=3Dleftbarlink =
onmouseover=3D"this.style.color=3D'#99BBFF'"=20
                  onmouseout=3D"this.style.color=3D'#FFFFF5'"=20
                  href=3D"http://www.gimpel.com/html/company.htm"><IMG=20
                  src=3D"http://www.gimpel.com/html/arright.gif"=20
                  border=3D0>&nbsp;&nbsp; Company</A></TD></TR>
              <TR>
                <TD class=3Dleftbarbutton><A class=3Dleftbarlink=20
                  onmouseover=3D"this.style.color=3D'#99BBFF'"=20
                  onmouseout=3D"this.style.color=3D'#FFFFF5'"=20
                  href=3D"http://www.gimpel.com/html/links.htm"><IMG=20
                  src=3D"http://www.gimpel.com/html/arright.gif"=20
                  border=3D0>&nbsp;&nbsp; Links</A></TD></TR>
              <TR>
                <TD class=3Dleftbartab align=3Dmiddle>
                  <FORM id=3Dform1 name=3Dform1 =
action=3Dhttp://www.google.com/custom=20
                  method=3Dget><IMG =
src=3D"http://www.gimpel.com/html/goog.bmp"=20
                  align=3DabsMiddle>&nbsp;&nbsp;Search:<BR><INPUT =
maxLength=3D255=20
                  size=3D19 name=3Dq> <INPUT type=3Dhidden=20
                  value=3DGL:0;AH:center;AWFID:cd230d0af0d3698f; =
name=3Dcof> <INPUT=20
                  type=3Dhidden value=3Dwww.gimpel.com =
name=3Ddomains><INPUT=20
                  type=3Dradio CHECKED value=3Dwww.gimpel.com =
name=3Dsitesearch> site=20
                  <INPUT type=3Dradio value=3D"" name=3Dsitesearch> web=20
            </TR></TBODY></TABLE></FORM></TD>
          <TD width=3D9></TD>
          <TD><!--begin text =
-------------------------------------------------------------------------=
---------------->
            <H2 align=3Dcenter>Version 8.00 Patches and Support =
Files</H2>
            <P align=3Dcenter><FONT color=3D#ff0000><B>Our Current Patch =
Level is=20
            8.00q</B></FONT></P>
            <P align=3Dcenter><B><A=20
            href=3D"http://www.gimpel.com/html/ptch80.htm#pcl">PC-lint =
Patches</A>=20
            | <A =
href=3D"http://www.gimpel.com/html/ptch80.htm#flex">FlexeLint=20
            Patches</A><BR><A=20
            =
href=3D"http://www.gimpel.com/html/ptch80.htm#misc">Miscellaneous=20
            Files</A> | <A=20
            =
href=3D"http://www.gimpel.com/html/ptch80.htm#colnt">Compiler Options=20
            Files</A> | <A=20
            =
href=3D"http://www.gimpel.com/html/ptch80.htm#liblnt">Library Options=20
            Files</A> <BR><A=20
            =
href=3D"http://www.gimpel.com/html/ptch80.htm#envlnt">Environment=20
            Options Files</A> | <A=20
            href=3D"http://www.gimpel.com/html/ptch80.htm#aulnt">Author =
Options=20
            Files</A></B> </P><A name=3Dpcl></A>
            <H3><B><FONT color=3D#ff0000>PC-lint Patches</FONT></B> =
</H3>
            <P>To determine your current patch level invoke the PC-lint =
program=20
            with no arguments, as in: </P><TT><PRE><B>         lin</B>
or<B>
         lint-nt -v</B></PRE></TT>
            <P>You will get a banner line that looks something like: =
</P>&nbsp;=20
            PC-lint for C/C++ (NT) Ver. 8.00a, Copyright Gimpel Software =

            1985-2001 <TT><B>&nbsp; PC-lint for C/C++ (NT) Ver. 8.00a, =
Copyright=20
            Gimpel Software 1985-2001</B></TT>=20
            <P>From this you deduce that the patch level is =

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -