Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Eclipse Projects » Test and Performance Tools Platform (TPTP) » is static analysis still available for TPTP 4.5
is static analysis still available for TPTP 4.5 [message #133098] Wed, 23 July 2008 11:43 Go to next message
Kristof Szabados is currently offline Kristof SzabadosFriend
Messages: 69
Registered: July 2009
Member
Hi,

I have downloaded an all in one TPTP 4.5 package, and the static
analysis package, but am not able to invoke the static analysis.
/*actually as I see the static analysis packages are available in the
all in one package, but even if I copy the separate files I can not make
it work */

It seems as if the whole package could not be loaded by Eclipse as in
contrast with
http://www.eclipse.org/tptp/home/documents/process/developme nt/static_analysis/TPTP_static_analysis_tutorial_part1.html
I just don't have any "Analysis" command.

/*
Just a short note the link on
http://www.eclipse.org/tptp/platform/documents/gettingstarte d/Static_Analysis_Getting_Started.html
is broken.
*/

Does anyone know how to activate the static analysis feature in this
version, I was using it since Eclipse 3.2

Thanks
Re: is static analysis still available for TPTP 4.5 [message #133177 is a reply to message #133098] Thu, 24 July 2008 10:24 Go to previous messageGo to next message
Paul Slauenwhite is currently offline Paul SlauenwhiteFriend
Messages: 970
Registered: July 2009
Senior Member
Hi Kristof,
Static Analysis has moved to a an as-is component with separate
installation instructions:

http://www.eclipse.org/tptp/home/downloads/?ver=4.5.0#AsIsCo mponents

We package 'empty' plug-ins in the GA deliverables to support upgrades
through the Update Manager.

Paul
"Kristof Szabados" <szabadosk@yahoo.com> wrote in message
news:g675gs$eir$1@build.eclipse.org...
> Hi,
>
> I have downloaded an all in one TPTP 4.5 package, and the static analysis
> package, but am not able to invoke the static analysis.
> /*actually as I see the static analysis packages are available in the all
> in one package, but even if I copy the separate files I can not make it
> work */
>
> It seems as if the whole package could not be loaded by Eclipse as in
> contrast with
> http://www.eclipse.org/tptp/home/documents/process/developme nt/static_analysis/TPTP_static_analysis_tutorial_part1.html
> I just don't have any "Analysis" command.
>
> /*
> Just a short note the link on
> http://www.eclipse.org/tptp/platform/documents/gettingstarte d/Static_Analysis_Getting_Started.html
> is broken.
> */
>
> Does anyone know how to activate the static analysis feature in this
> version, I was using it since Eclipse 3.2
>
> Thanks
Re: is static analysis still available for TPTP 4.5 [message #133201 is a reply to message #133177] Thu, 24 July 2008 12:19 Go to previous messageGo to next message
Kristof Szabados is currently offline Kristof SzabadosFriend
Messages: 69
Registered: July 2009
Member
Hi Paul,

I don't really understand this.

I have downloaded the as-is component (for tptp 4.5) and owerwritten
with it all files that I found in the dropins folder of the all-in-one
tptp 4.5 package.
But I still don't see the usual menu, from where I could run the static
analysis on my code.
/* as far as I see this is the installation method for this component */

Actually I'm not really surprised as according to the timestamps the
as-is component versions were created about 1 minute earlier than the
all-in-one versions, and seem to have the same content.

I also tried the update manager, but after installing everything for
tptp 4.5, there was still no change.

I don't really understand what might be wrong, as there is no error log
I could refer to.

Best regards

Kristof

Paul Slauenwhite wrote:
> Hi Kristof,
> Static Analysis has moved to a an as-is component with separate
> installation instructions:
>
> http://www.eclipse.org/tptp/home/downloads/?ver=4.5.0#AsIsCo mponents
>
> We package 'empty' plug-ins in the GA deliverables to support upgrades
> through the Update Manager.
>
> Paul
> "Kristof Szabados" <szabadosk@yahoo.com> wrote in message
> news:g675gs$eir$1@build.eclipse.org...
>> Hi,
>>
>> I have downloaded an all in one TPTP 4.5 package, and the static analysis
>> package, but am not able to invoke the static analysis.
>> /*actually as I see the static analysis packages are available in the all
>> in one package, but even if I copy the separate files I can not make it
>> work */
>>
>> It seems as if the whole package could not be loaded by Eclipse as in
>> contrast with
>> http://www.eclipse.org/tptp/home/documents/process/developme nt/static_analysis/TPTP_static_analysis_tutorial_part1.html
>> I just don't have any "Analysis" command.
>>
>> /*
>> Just a short note the link on
>> http://www.eclipse.org/tptp/platform/documents/gettingstarte d/Static_Analysis_Getting_Started.html
>> is broken.
>> */
>>
>> Does anyone know how to activate the static analysis feature in this
>> version, I was using it since Eclipse 3.2
>>
>> Thanks
>
>
Re: is static analysis still available for TPTP 4.5 [message #133214 is a reply to message #133201] Fri, 25 July 2008 10:15 Go to previous messageGo to next message
Paul Slauenwhite is currently offline Paul SlauenwhiteFriend
Messages: 970
Registered: July 2009
Senior Member
Hi Kristof,
Did you restart with the -clean flag?

Paul
"Kristof Szabados" <szabadosk@yahoo.com> wrote in message
news:g69rvn$3k6$1@build.eclipse.org...
> Hi Paul,
>
> I don't really understand this.
>
> I have downloaded the as-is component (for tptp 4.5) and owerwritten with
> it all files that I found in the dropins folder of the all-in-one tptp 4.5
> package.
> But I still don't see the usual menu, from where I could run the static
> analysis on my code.
> /* as far as I see this is the installation method for this component */
>
> Actually I'm not really surprised as according to the timestamps the as-is
> component versions were created about 1 minute earlier than the all-in-one
> versions, and seem to have the same content.
>
> I also tried the update manager, but after installing everything for tptp
> 4.5, there was still no change.
>
> I don't really understand what might be wrong, as there is no error log I
> could refer to.
>
> Best regards
>
> Kristof
>
> Paul Slauenwhite wrote:
>> Hi Kristof,
>> Static Analysis has moved to a an as-is component with separate
>> installation instructions:
>>
>> http://www.eclipse.org/tptp/home/downloads/?ver=4.5.0#AsIsCo mponents
>>
>> We package 'empty' plug-ins in the GA deliverables to support
>> upgrades through the Update Manager.
>>
>> Paul
>> "Kristof Szabados" <szabadosk@yahoo.com> wrote in message
>> news:g675gs$eir$1@build.eclipse.org...
>>> Hi,
>>>
>>> I have downloaded an all in one TPTP 4.5 package, and the static
>>> analysis package, but am not able to invoke the static analysis.
>>> /*actually as I see the static analysis packages are available in the
>>> all in one package, but even if I copy the separate files I can not make
>>> it work */
>>>
>>> It seems as if the whole package could not be loaded by Eclipse as in
>>> contrast with
>>> http://www.eclipse.org/tptp/home/documents/process/developme nt/static_analysis/TPTP_static_analysis_tutorial_part1.html
>>> I just don't have any "Analysis" command.
>>>
>>> /*
>>> Just a short note the link on
>>> http://www.eclipse.org/tptp/platform/documents/gettingstarte d/Static_Analysis_Getting_Started.html
>>> is broken.
>>> */
>>>
>>> Does anyone know how to activate the static analysis feature in this
>>> version, I was using it since Eclipse 3.2
>>>
>>> Thanks
>>
Re: is static analysis still available for TPTP 4.5 [message #133329 is a reply to message #133214] Fri, 25 July 2008 15:53 Go to previous messageGo to next message
Kristof Szabados is currently offline Kristof SzabadosFriend
Messages: 69
Registered: July 2009
Member
Hi Paul,

Yes.

In the meanwhile I also tried to put the files directly into the eclipse
folders, instead of using the dropins, but with no difference.

Best Regards

Paul Slauenwhite wrote:
> Hi Kristof,
> Did you restart with the -clean flag?
>
> Paul
> "Kristof Szabados" <szabadosk@yahoo.com> wrote in message
> news:g69rvn$3k6$1@build.eclipse.org...
>> Hi Paul,
>>
>> I don't really understand this.
>>
>> I have downloaded the as-is component (for tptp 4.5) and owerwritten with
>> it all files that I found in the dropins folder of the all-in-one tptp 4.5
>> package.
>> But I still don't see the usual menu, from where I could run the static
>> analysis on my code.
>> /* as far as I see this is the installation method for this component */
>>
>> Actually I'm not really surprised as according to the timestamps the as-is
>> component versions were created about 1 minute earlier than the all-in-one
>> versions, and seem to have the same content.
>>
>> I also tried the update manager, but after installing everything for tptp
>> 4.5, there was still no change.
>>
>> I don't really understand what might be wrong, as there is no error log I
>> could refer to.
>>
>> Best regards
>>
>> Kristof
>>
>> Paul Slauenwhite wrote:
>>> Hi Kristof,
>>> Static Analysis has moved to a an as-is component with separate
>>> installation instructions:
>>>
>>> http://www.eclipse.org/tptp/home/downloads/?ver=4.5.0#AsIsCo mponents
>>>
>>> We package 'empty' plug-ins in the GA deliverables to support
>>> upgrades through the Update Manager.
>>>
>>> Paul
>>> "Kristof Szabados" <szabadosk@yahoo.com> wrote in message
>>> news:g675gs$eir$1@build.eclipse.org...
>>>> Hi,
>>>>
>>>> I have downloaded an all in one TPTP 4.5 package, and the static
>>>> analysis package, but am not able to invoke the static analysis.
>>>> /*actually as I see the static analysis packages are available in the
>>>> all in one package, but even if I copy the separate files I can not make
>>>> it work */
>>>>
>>>> It seems as if the whole package could not be loaded by Eclipse as in
>>>> contrast with
>>>> http://www.eclipse.org/tptp/home/documents/process/developme nt/static_analysis/TPTP_static_analysis_tutorial_part1.html
>>>> I just don't have any "Analysis" command.
>>>>
>>>> /*
>>>> Just a short note the link on
>>>> http://www.eclipse.org/tptp/platform/documents/gettingstarte d/Static_Analysis_Getting_Started.html
>>>> is broken.
>>>> */
>>>>
>>>> Does anyone know how to activate the static analysis feature in this
>>>> version, I was using it since Eclipse 3.2
>>>>
>>>> Thanks
>
Re: is static analysis still available for TPTP 4.5 [message #133354 is a reply to message #133329] Fri, 25 July 2008 16:13 Go to previous messageGo to next message
Paul Slauenwhite is currently offline Paul SlauenwhiteFriend
Messages: 970
Registered: July 2009
Senior Member
Hi,
Our Release Engineering Team just informed that you need an additional
step required due to the LTA:

https://bugs.eclipse.org/bugs/show_bug.cgi?id=239795


Paul
"Kristof Szabados" <szabadosk@yahoo.com> wrote in message
news:g6csu5$e1$1@build.eclipse.org...
> Hi Paul,
>
> Yes.
>
> In the meanwhile I also tried to put the files directly into the eclipse
> folders, instead of using the dropins, but with no difference.
>
> Best Regards
>
> Paul Slauenwhite wrote:
>> Hi Kristof,
>> Did you restart with the -clean flag?
>>
>> Paul
>> "Kristof Szabados" <szabadosk@yahoo.com> wrote in message
>> news:g69rvn$3k6$1@build.eclipse.org...
>>> Hi Paul,
>>>
>>> I don't really understand this.
>>>
>>> I have downloaded the as-is component (for tptp 4.5) and owerwritten
>>> with it all files that I found in the dropins folder of the all-in-one
>>> tptp 4.5 package.
>>> But I still don't see the usual menu, from where I could run the static
>>> analysis on my code.
>>> /* as far as I see this is the installation method for this component */
>>>
>>> Actually I'm not really surprised as according to the timestamps the
>>> as-is component versions were created about 1 minute earlier than the
>>> all-in-one versions, and seem to have the same content.
>>>
>>> I also tried the update manager, but after installing everything for
>>> tptp 4.5, there was still no change.
>>>
>>> I don't really understand what might be wrong, as there is no error log
>>> I could refer to.
>>>
>>> Best regards
>>>
>>> Kristof
>>>
>>> Paul Slauenwhite wrote:
>>>> Hi Kristof,
>>>> Static Analysis has moved to a an as-is component with separate
>>>> installation instructions:
>>>>
>>>> http://www.eclipse.org/tptp/home/downloads/?ver=4.5.0#AsIsCo mponents
>>>>
>>>> We package 'empty' plug-ins in the GA deliverables to support
>>>> upgrades through the Update Manager.
>>>>
>>>> Paul
>>>> "Kristof Szabados" <szabadosk@yahoo.com> wrote in message
>>>> news:g675gs$eir$1@build.eclipse.org...
>>>>> Hi,
>>>>>
>>>>> I have downloaded an all in one TPTP 4.5 package, and the static
>>>>> analysis package, but am not able to invoke the static analysis.
>>>>> /*actually as I see the static analysis packages are available in the
>>>>> all in one package, but even if I copy the separate files I can not
>>>>> make it work */
>>>>>
>>>>> It seems as if the whole package could not be loaded by Eclipse as in
>>>>> contrast with
>>>>> http://www.eclipse.org/tptp/home/documents/process/developme nt/static_analysis/TPTP_static_analysis_tutorial_part1.html
>>>>> I just don't have any "Analysis" command.
>>>>>
>>>>> /*
>>>>> Just a short note the link on
>>>>> http://www.eclipse.org/tptp/platform/documents/gettingstarte d/Static_Analysis_Getting_Started.html
>>>>> is broken.
>>>>> */
>>>>>
>>>>> Does anyone know how to activate the static analysis feature in this
>>>>> version, I was using it since Eclipse 3.2
>>>>>
>>>>> Thanks
>>
Re: is static analysis still available for TPTP 4.5 [message #142440 is a reply to message #133354] Tue, 02 June 2009 11:29 Go to previous messageGo to next message
Benjamin Zeiss is currently offline Benjamin ZeissFriend
Messages: 29
Registered: July 2009
Junior Member
Hello,

due to recent activities of mine, i have searched the net and found this
thread about the TPTP static analysis plugins not working.

Why don't you just build the as-is components and distribute them with
the TPTP package? I don't see how any normal user can possibly install
these as-is components by himself. As a developer, i spent about 3 hours
just trying to install the static analysis plugins somehow into Eclipse
Galileo. I gave up and recompiled the analysis.core and analysis.ui
plugins by myself - after that, they worked. The idea to just distribute
the plugins without classes is incredibly strange. It even took me a
while to figure out why Eclipse was reporting problems due to missing
classes as i was not aware of its as-is status (whatever that means. it
feels more like "abandoned" to me.) and just assumed that the
plugins should work when they are installed. I am seriously considering
to create our own branch of the static analysis plugins unless something
is changing here. The trouble is just too big otherwise.

Ben


Paul Slauenwhite schrieb:
> Hi,
> Our Release Engineering Team just informed that you need an additional
> step required due to the LTA:
>
> https://bugs.eclipse.org/bugs/show_bug.cgi?id=239795
>
>
> Paul
> "Kristof Szabados" <szabadosk@yahoo.com> wrote in message
> news:g6csu5$e1$1@build.eclipse.org...
>> Hi Paul,
>>
>> Yes.
>>
>> In the meanwhile I also tried to put the files directly into the eclipse
>> folders, instead of using the dropins, but with no difference.
>>
>> Best Regards
>>
>> Paul Slauenwhite wrote:
>>> Hi Kristof,
>>> Did you restart with the -clean flag?
>>>
>>> Paul
>>> "Kristof Szabados" <szabadosk@yahoo.com> wrote in message
>>> news:g69rvn$3k6$1@build.eclipse.org...
>>>> Hi Paul,
>>>>
>>>> I don't really understand this.
>>>>
>>>> I have downloaded the as-is component (for tptp 4.5) and owerwritten
>>>> with it all files that I found in the dropins folder of the all-in-one
>>>> tptp 4.5 package.
>>>> But I still don't see the usual menu, from where I could run the static
>>>> analysis on my code.
>>>> /* as far as I see this is the installation method for this component */
>>>>
>>>> Actually I'm not really surprised as according to the timestamps the
>>>> as-is component versions were created about 1 minute earlier than the
>>>> all-in-one versions, and seem to have the same content.
>>>>
>>>> I also tried the update manager, but after installing everything for
>>>> tptp 4.5, there was still no change.
>>>>
>>>> I don't really understand what might be wrong, as there is no error log
>>>> I could refer to.
>>>>
>>>> Best regards
>>>>
>>>> Kristof
>>>>
>>>> Paul Slauenwhite wrote:
>>>>> Hi Kristof,
>>>>> Static Analysis has moved to a an as-is component with separate
>>>>> installation instructions:
>>>>>
>>>>> http://www.eclipse.org/tptp/home/downloads/?ver=4.5.0#AsIsCo mponents
>>>>>
>>>>> We package 'empty' plug-ins in the GA deliverables to support
>>>>> upgrades through the Update Manager.
>>>>>
>>>>> Paul
>>>>> "Kristof Szabados" <szabadosk@yahoo.com> wrote in message
>>>>> news:g675gs$eir$1@build.eclipse.org...
>>>>>> Hi,
>>>>>>
>>>>>> I have downloaded an all in one TPTP 4.5 package, and the static
>>>>>> analysis package, but am not able to invoke the static analysis.
>>>>>> /*actually as I see the static analysis packages are available in the
>>>>>> all in one package, but even if I copy the separate files I can not
>>>>>> make it work */
>>>>>>
>>>>>> It seems as if the whole package could not be loaded by Eclipse as in
>>>>>> contrast with
>>>>>> http://www.eclipse.org/tptp/home/documents/process/developme nt/static_analysis/TPTP_static_analysis_tutorial_part1.html
>>>>>> I just don't have any "Analysis" command.
>>>>>>
>>>>>> /*
>>>>>> Just a short note the link on
>>>>>> http://www.eclipse.org/tptp/platform/documents/gettingstarte d/Static_Analysis_Getting_Started.html
>>>>>> is broken.
>>>>>> */
>>>>>>
>>>>>> Does anyone know how to activate the static analysis feature in this
>>>>>> version, I was using it since Eclipse 3.2
>>>>>>
>>>>>> Thanks
>
>
Re: is static analysis still available for TPTP 4.5 [message #142659 is a reply to message #142440] Mon, 15 June 2009 15:34 Go to previous messageGo to next message
Eugene Chan is currently offline Eugene ChanFriend
Messages: 287
Registered: July 2009
Senior Member
Hi Ben,

The owner of the static analysis component no longer work and contriube
resource in the project and due to the lack of additional resources to
support the component, PMC has decided to move it to as-is and there will be
no maintence on the component supported by the project.

Eugene

"Benjamin Zeiss" <zeiss@cs.uni-goettingen.de> wrote in message
news:h032fk$hkm$1@build.eclipse.org...
> Hello,
>
> due to recent activities of mine, i have searched the net and found this
> thread about the TPTP static analysis plugins not working.
>
> Why don't you just build the as-is components and distribute them with
> the TPTP package? I don't see how any normal user can possibly install
> these as-is components by himself. As a developer, i spent about 3 hours
> just trying to install the static analysis plugins somehow into Eclipse
> Galileo. I gave up and recompiled the analysis.core and analysis.ui
> plugins by myself - after that, they worked. The idea to just distribute
> the plugins without classes is incredibly strange. It even took me a
> while to figure out why Eclipse was reporting problems due to missing
> classes as i was not aware of its as-is status (whatever that means. it
> feels more like "abandoned" to me.) and just assumed that the
> plugins should work when they are installed. I am seriously considering
> to create our own branch of the static analysis plugins unless something
> is changing here. The trouble is just too big otherwise.
>
> Ben
>
>
> Paul Slauenwhite schrieb:
>> Hi,
>> Our Release Engineering Team just informed that you need an
>> additional
>> step required due to the LTA:
>>
>> https://bugs.eclipse.org/bugs/show_bug.cgi?id=239795
>>
>>
>> Paul
>> "Kristof Szabados" <szabadosk@yahoo.com> wrote in message
>> news:g6csu5$e1$1@build.eclipse.org...
>>> Hi Paul,
>>>
>>> Yes.
>>>
>>> In the meanwhile I also tried to put the files directly into the eclipse
>>> folders, instead of using the dropins, but with no difference.
>>>
>>> Best Regards
>>>
>>> Paul Slauenwhite wrote:
>>>> Hi Kristof,
>>>> Did you restart with the -clean flag?
>>>>
>>>> Paul
>>>> "Kristof Szabados" <szabadosk@yahoo.com> wrote in message
>>>> news:g69rvn$3k6$1@build.eclipse.org...
>>>>> Hi Paul,
>>>>>
>>>>> I don't really understand this.
>>>>>
>>>>> I have downloaded the as-is component (for tptp 4.5) and owerwritten
>>>>> with it all files that I found in the dropins folder of the all-in-one
>>>>> tptp 4.5 package.
>>>>> But I still don't see the usual menu, from where I could run the
>>>>> static
>>>>> analysis on my code.
>>>>> /* as far as I see this is the installation method for this component
>>>>> */
>>>>>
>>>>> Actually I'm not really surprised as according to the timestamps the
>>>>> as-is component versions were created about 1 minute earlier than the
>>>>> all-in-one versions, and seem to have the same content.
>>>>>
>>>>> I also tried the update manager, but after installing everything for
>>>>> tptp 4.5, there was still no change.
>>>>>
>>>>> I don't really understand what might be wrong, as there is no error
>>>>> log
>>>>> I could refer to.
>>>>>
>>>>> Best regards
>>>>>
>>>>> Kristof
>>>>>
>>>>> Paul Slauenwhite wrote:
>>>>>> Hi Kristof,
>>>>>> Static Analysis has moved to a an as-is component with separate
>>>>>> installation instructions:
>>>>>>
>>>>>> http://www.eclipse.org/tptp/home/downloads/?ver=4.5.0#AsIsCo mponents
>>>>>>
>>>>>> We package 'empty' plug-ins in the GA deliverables to support
>>>>>> upgrades through the Update Manager.
>>>>>>
>>>>>> Paul
>>>>>> "Kristof Szabados" <szabadosk@yahoo.com> wrote in message
>>>>>> news:g675gs$eir$1@build.eclipse.org...
>>>>>>> Hi,
>>>>>>>
>>>>>>> I have downloaded an all in one TPTP 4.5 package, and the static
>>>>>>> analysis package, but am not able to invoke the static analysis.
>>>>>>> /*actually as I see the static analysis packages are available in
>>>>>>> the
>>>>>>> all in one package, but even if I copy the separate files I can not
>>>>>>> make it work */
>>>>>>>
>>>>>>> It seems as if the whole package could not be loaded by Eclipse as
>>>>>>> in
>>>>>>> contrast with
>>>>>>> http://www.eclipse.org/tptp/home/documents/process/developme nt/static_analysis/TPTP_static_analysis_tutorial_part1.html
>>>>>>> I just don't have any "Analysis" command.
>>>>>>>
>>>>>>> /*
>>>>>>> Just a short note the link on
>>>>>>> http://www.eclipse.org/tptp/platform/documents/gettingstarte d/Static_Analysis_Getting_Started.html
>>>>>>> is broken.
>>>>>>> */
>>>>>>>
>>>>>>> Does anyone know how to activate the static analysis feature in this
>>>>>>> version, I was using it since Eclipse 3.2
>>>>>>>
>>>>>>> Thanks
>>
>>
Re: is static analysis still available for TPTP 4.5 [message #142678 is a reply to message #142659] Mon, 15 June 2009 17:18 Go to previous message
robert tomb is currently offline robert tombFriend
Messages: 1
Registered: July 2009
Junior Member
Eugene:

I don't see the Static Analysis Engine in any of the builds since 4.5.0.
Is it dead? If so, that's extremely unfortunate (for me). I was just going
to start working on a static analysis feature for our tooling and had
hoped to base it on TPTP's static analysis.
Previous Topic:Handling CBEs in my class lively?
Next Topic:NullPointerException with TPTP 4.6.0 RC5
Goto Forum:
  


Current Time: Sat Nov 29 07:56:33 GMT 2014

Powered by FUDForum. Page generated in 0.23064 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software