Can I use infer static analysis to find a string?

[LRH-iOS]

I can use infer static analysis to find

1. Does a function exist?
2. How many functions exist? Which class exists? For example, "sscanf", "strncpy"

[LRH-iOS]

hello

[aytey]

I think you're not getting much of a reply, because your question doesn't (really) make sense in the context of infer.

infer is a static analysis tool aimed at finding bugs in source code; it is not designed to find the kind of metrics you're after.

That being said, you can "abuse" infer to answer your "functions" question:

echo "select proc_uid, source_file from procedures;" | sqlite3 infer-out/results.db

You'll also see classes here, if you have methods in classes -- just using a type isn't enough for it appear in the results.db.

Types are logged to the tenv file if you run with debugging (run with -g and then look for files ending with .tenv.debug).

[LRH-iOS]

I think you're not getting much of a reply, because your question doesn't (really) make sense in the context of infer.

infer is a static analysis tool aimed at finding bugs in source code; it is not designed to find the kind of metrics you're after.

That being said, you can "abuse" infer to answer your "functions" question:

echo "select proc_uid, source_file from procedures;" | sqlite3 infer-out/results.db

You'll also see classes here, if you have methods in classes -- just using a type isn't enough for it appear in the results.db.

Types are logged to the tenv file if you run with debugging (run with -g and then look for files ending with .tenv.debug).

I mean, in the project, I want to use infer to count the number of times a string appears and the file name where it appears. Does infer have any methods in this regard, or can I customize such statistical methods in infer?

1. Infor is there a method to count a string?

2. If not, can I customize this method in infer?

[aytey]

I want [...] to count the number of times a string appears and the file name where it appears

So you want grep -c?

[LRH-iOS]

I want [...] to count the number of times a string appears and the file name where it appears

So you want grep -c?

NO, I want to analysis xx.ipa or xx.app or xx.xcworkspace