repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
Handle known conditions when they are a simple value.
2009-04-05
D
a
n Carpent
e
r
H
andle known cond
i
tions
w
hen they are a si
m
ple value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carp
e
n
ter
Add CASE_HOOK
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n Carpenter
F
i
x m
e
mory
leaks foun
d
by valgrin
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpe
n
ter
alloc_str
i
ng() -> alloc_sname()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Put some
v
a
l
ida
t
ion scripts in the closet
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Ca
r
penter
Implied ranges
.
Part #2
.
Filters
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpent
e
r
Sil
e
nce the m
u
tually exclusive output again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Free all data_
i
n
fo at the end of a
f
unct
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan C
a
rpen
t
er
Ad
d
-
-no-
d
ata op
t
ion
and war
n
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan C
a
rpenter
rang
e
fi
x
.
anding slists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan C
a
r
penter
cleanups
f
rom clo
n
e_
s
list() c
h
anges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan
C
arpenter
Implied ranges
.
P
a
rt #1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-02
Dan Carpenter
Add the a
l
l
oc
a
t
ion funcs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
D
an C
a
rpenter
fr
e
e_scq is defined 2 times
q
uite
d
ifferently
.
It
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan
C
a
r
p
e
n
ter
F
i
x
i
mplicati
o
ns (
f
allout
f
ro
m
c
lone
_
s
l
is
t
() cha
n
ges)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
D
an Carpenter
Major memo
r
y s
a
ving
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Da
n
Carpenter
--deb
u
g m
e
ans print the i
m
p
lications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
Add --no-
i
mplied to t
h
e he
l
p text
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan
C
arpenter
Save memory
.
D
on't c
o
py the sta
t
e
n
ame so
much
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpen
t
er
Add che
c
k
_
t
ype
.
c
(
disa
b
led)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpe
n
ter
kref_put() and kobject
_
put(
)
are
basically lik
e
a free()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-29
Dan Carpent
e
r
Don't d
e
refer
e
n
ce
fre
e
d memo
r
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpenter
A
dd
all
t
he alloca
t
ion functions to che
c
k_leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Da
n
Carpenter
Generate a
lis
t
of
funct
i
on
s
that
a
llocate dat
a
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-27
Dan C
a
rpe
n
t
e
r
Update th
e
gen_frees_list
.
sh an
d
the g
e
nerated data
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpe
n
ter
Save f
u
nct
i
on lis
t
s in sm
a
tch_d
a
ta
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpe
n
te
r
new (disable
d
) s
c
r
ip
t
: ch
e
c
k_leaks
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan C
a
rpenter
implied: a
d
d get
_
implications() for scri
p
ts to use
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
A
d
d
comment
.
get_value ret
u
rns UNDEFINED
o
n error
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Ca
r
penter
f
u
n
cti
o
n
_hooks: bump th
e
number of entr
i
es in t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
ne
w
: add_function_assign_h
o
ok()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
Clean up the c
o
ndi
t
i
onal hook code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
D
a
n Car
p
ent
e
r
new
api:
a
dd_conditional_
h
ook(), set_con
d
_
sta
t
es();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Da
n
Carpenter
function_hoo
k
s: pass
t
he fu
n
ction
n
ame as well
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Ca
r
penter
don't try re
t
u
r
n
block th
i
ngs in get_
v
a
riabl
e
_from_expr_c
o
mp
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
A
d
d
a list o
f
noreturn type functions that nullify
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpe
n
ter
M
e
r
ge b
r
anch 'd
e
vel'
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
recompile
the check_*
.
c files if
the s
m
atch
h
eader
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
ch
e
ck
_
overflow: test co
p
y
_to/from_user as
w
ell
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
an Carpenter
chec
k
_o
v
erflow: don't multiply th
e
si
z
e o
f
strings
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Car
p
enter
assumed_nonn
u
ll crap
.
.
.
te
m
p fix
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Carpenter
Add
s
c
ript to generate the frees
l
ist
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Ca
r
penter
rename
r
e
gi
s
ter_frees_argument to che
c
k_fre
e
s_argument
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Carpenter
fix order of proces
s
ing of comm
a
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
an Carpent
e
r
get rid
of FUNCTION_CALL_AFTER_H
O
O
K
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
an Ca
r
penter
change order of condi
t
ion processing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
get rid of ASSIGNMENT_AFTER_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpen
t
e
r
check
_
m
emory:
r
ead
f
reeing f
u
nct
i
ons from file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Dan
C
arpenter
che
c
k_memory:
r
ead f
r
e
e
ing functions from
file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
D
an
C
a
r
penter
f
r
e
es_argument: don't count fun
c
t
ions t
h
at
only free
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-21
Dan Ca
r
penter
c
ore: improve anding condition h
a
ndling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
D
an Carpenter
c
he
c
k
_overflow:
m
ove to new add_
f
u
n
cti
o
n_
h
ook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carp
e
nter
check_locking: m
o
ve
t
o
t
he new function
hoo
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan
C
arpenter
check_loc
k
ing:
fix some double unlock
f
als
e
pos
i
tive
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan C
a
rpenter
co
r
e: a
d
d_function_hook
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
m
a
ke
some va
r
s static
.
other random sp
a
rse st
u
ff
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpent
e
r
core: add_unmatc
h
ed_state_hook
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan
Ca
r
penter
i
mpli
e
d: re-add the debug o
u
tput
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
D
a
n
C
arpenter
c
h
ang
e
co
n
vention: reg
i
ster_template() -> check_template()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
D
an Carpe
n
ter
l
ock
i
ng:
a
dd som
e
more
mutex fu
n
ctio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpen
t
er
Make --known-condit
i
ons
an option
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
ha
n
dle kno
w
n conditi
o
ns better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan
C
a
rpenter
chec
k
_
m
e
m
ory:
a
dd rudimentary va
l
idation test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Ca
r
penter
new scri
p
t to print a l
i
st of fu
n
ctions wh
i
ch free
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Ca
r
penter
c
heck_me
m
o
ry: make arguments static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
templ
a
te: fix memo
r
y leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpen
t
er
te
m
plate: remo
v
e unused
head
e
r
, u
p
date comme
n
ts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n C
a
rpenter
c
h
eck_locking
:
add mute
x
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpe
n
ter
check_mem
o
ry: ad
d
k
za
l
loc(), m
o
re complex variables
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan
C
arp
e
nter
i
m
plied: handle &undefined bett
e
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Car
p
enter
info: loop
c
o
uld be replaced with if statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carp
e
nt
e
r
k
c
he
c
ker: add
"--sparse" op
t
i
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan
C
arpenter
smatch_implied/slist: move functions from
slist to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan
C
a
r
pe
n
ter
check_
m
emory
:
use com
p
l
e
x
variables i
n
stead of regular
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
D
a
n Car
p
enter
check_
m
emo
r
y: assume parents
a
ssigned
o
n all paths
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan
C
arpenter
check_mem
o
ry: Mor
e
change
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Ca
r
pent
e
r
assi
g
nme
n
ts can
add a parent
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
D
an Carpenter
Handle initializat
i
o
n in the declarations;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan
C
arpenter
C
ut
d
own on false positives
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpent
e
r
P
arse the return state
m
ent before calling the
retu
r
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan
Car
p
enter
Fix crash
i
ng b
u
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
D
an Carpe
n
t
er
Remove
s
om
e
f
a
lse
pos
i
t
i
ves and enabl
e
the check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
D
a
n Carpenter
Demote argument null d
e
refs to cross func nu
l
l derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan C
a
rp
e
nter
Label the output: error, warn
,
or info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpenter
Add a ha
c
k
t
o handle the k
e
r
nel's r
e
defined i
f
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
D
a
n Carpenter
Handle more
c
omparisons than jus
t
(f
o
o
== 0) a
n
d
(foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan
Carpenter
check_locking:
a
merge with NU
L
L
i
s
a merge wit
h
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan C
a
rpenter
Remove unneeded code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan
C
arpenter
A
d
d line
n
umber
b
ack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Use t
h
e most recent implications
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpe
n
ter
Ad
d
option
--assume-loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Ca
r
penter
Add an option --no-implied to t
u
rn of implications
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-07
D
an Carpenter
impli
e
d pools: clean
u
p how implied p
o
ols are created
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Dan
C
arpenter
check_me
m
or
y
: separate
o
ut a malloced state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Da
n
Carpenter
A
l
l alon
g
I was a
d
ding t
h
e
pools
to the wrong p
l
ace
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
D
a
n Carpenter
Clean up
.
Move a couple ifdefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan
C
arpent
e
r
Add a sanity c
h
eck that ->possible has a ->my_po
o
l
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan
C
arp
e
nter
Clean u
p
.
Freeing the sm_states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
O
r
i
n
g
the slists seem
s
like merge_slist
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpent
e
r
Add a --
d
ebug-implied opt
i
on
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next