static-analysis

3La chaleur

1Répondre

Catching débordement du décalage gauche de la constante 1 en utilisant l'avertissement du compilateur?

Nous écrivons du code dans le noyau Linux, donc, comme je le faisais, je n'ai pas réussi à faire fonctionner PC-Lint/Flexelint sur le noyau Linux. Juste trop de symboles intégrés, etc. Mais c'est un p

1La chaleur

2Répondre

Outils d'analyse statique pour la conception de base de données

Je suis à la recherche d'outils d'analyse statique pour le niveau de base de données. Je suis un peu answers for reviewingPLSQL, le code TSQL, je me demande quelles sont les options disponibles pour l

4La chaleur

2Répondre

ASP.NET/C# Equivalent de l'analyseur de code source Microsoft pour l'injection SQL (MSSCASI_ASP)?

Microsoft Source Code Analyzer for SQL Injection (MSSCASI_ASP) est un analyseur de code statique pour le code VBScript ASP classique qui peut aider à identifier les pages qui pourraient avoir une vuln

4La chaleur

2Répondre

Comment puis-je supprimer l'analyse de code statique pendant la génération?

Nous avons une solution avec 15 projets, dont l'analyse de code est activée. La solution prend facilement plus de 60 secondes à construire, ce qui représente une très longue période d'attente. Si je d

0La chaleur

1Répondre

Evaluation JML de \ old (Expression [Id])

Je voudrais savoir comment est évaluée une expression JML de la forme \old(Expression[Id]), c'est-à-dire si j'ai l'expression \old(vector[value-1]), est ce que le \old fait aussi référence à "valeur"

11La chaleur

4Répondre

Comment puis-je créer un graphe d'appel d'analyse statique pour Perl?

Je travaille sur un programme Perl modérément complexe. Dans le cadre de son développement, il doit subir des modifications et des tests. En raison de certaines contraintes d'environnement, l'exécutio

2La chaleur

5Répondre

Quel est le problème avec l'utilisation de super() dans un constructeur en Java?

Quand je lance l'analyse statique sur le code suivant: public ExtractDBScripts(String resBundleName) { super(); m_mainBundle = ResourceBundle.getBundle(resBundleName); } Je reç

8La chaleur

1Répondre

Quelle forme d'analyse d'alias est utilisée par Visual C++?

J'essaie de comprendre quelle forme de l'analyse d'alias est utilisée dans Visual C++. Il est également connu sous le nom d'analyse de pointeur, d'analyse de mod reflex, d'analyse de points ou d'analy

5La chaleur

5Répondre

Quel est le problème avec une classe interne n'utilisant pas une classe externe en Java?

J'utilise un analyseur statique dans Eclipse pour examiner mon code. Une classe, foo, a une classe interne, un bar. J'obtiens l'erreur suivante: JAVA0043 Inner class 'bar' does not use outer class 'fo

3La chaleur

4Répondre

Développement d'un outil d'analyse de code source statique pour API propriétaire

Il existe une API propriétaire qui est construite au-dessus de C++. Il utilise donc toutes les fonctionnalités de C++ et possède ses propres API. Il y a des API qui fonctionnent exactement de la même