static-analysis

I am looking to write a static analyser for a university class. To provide more power for the tool I would like to be able to look up the call hierarchy (as Ctrl+Alt+H does in Eclipse). This would also have to be a fast operation, so the lookup would probably have to be done against an index rather than bytecode scanning. However, writing an Eclipse plugin would be too ambitious I expect. Instead I would rather decouple the parts of Eclipse which create the code index, and use a library to do lookups. The interface to the user would be on the command line, to simplify implementation. I read

I know there are a quite a few static analysis tools for C# or .Net around. See this question for a good list of available tools. I have used some of those in the past and they have a good way of detecting problems. I am currently looking for a way to automatically enforce some locking rules we have in our teams. For example I would like to enforce the following rules: "Every public method that uses member foo must acquire a lock on bar " Or "Every call to foobar event must be outside lock to bar " Writing custom FxCop rules, if feasible , seems rather complex. Is there any simpler way of

Consider this immutable type: public class Settings { public string Path { get; private set; } [ContractInvariantMethod] private void ObjectInvariants() { Contract.Invariant(Path != null); } public Settings(string path) { Contract.Requires(path != null); Path = path; } } Two things to notice here: There is a contract invariant which ensures the Path property can never be null The constructor checks the path argument value to respect the previous contract invariant At this point, a Setting instance can never have a null Path property. Now, look at this type: public class Program { private

I have to do statistical analyses on a data set. I would like to create all the possible models and to test them with the dredge function but it doesn't work. Indeed, when I type: glm1<-glm(presabs~dca1+dca2+se1+se2, family=binomial(logit)) dredge(glm1) I got this error: Erreur in dredge(glm1) : 'global.model''s 'na.action' argument is not set and options('na.action') is "na.omit" Can someone help me? I know this has been solved, however I came across the same issue and think there is a better way. The issue with using options(na.action = "na.fail") is that it changes the global settings of R.

Many times I want a function to receive a variable number of arguments, terminated by NULL, for instance #define push(stack_t stack, ...) _push(__VARARG__, NULL); func _push(stack_t stack, char *s, ...) { va_list args; va_start(args, s); while (s = va_arg(args, char*)) push_single(stack, s); } Can I instruct gcc or clang to warn if foo receives non char* variables? Something similar to __attribute__(format) , but for multiple arguments of the same pointer type. I know you're thinking of using __attribute__((sentinel)) somehow, but this is a red herring. What you want is to do something like