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
*new* check_test_bit: check for test_bit(BIT(0), &foo)
2015-05-13
Dan C
a
rpe
n
ter
*new* check_
t
est_bit: c
h
e
ck for
test_bit(BIT(0), &foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan
C
a
rpenter
type: speed up
g
e
t
_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
D
an
C
arpent
e
r
t
ype: improve get_
b
inop
_
type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-01
Dan Carpent
e
r
flow: add a new expr->pa
r
e
nt struct membe
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
fixup_kernel: hard cod
e
_
_
s
p
i
_
sync() returns
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
D
a
n Carpent
e
r
fixup_
k
ernel:
km
a
lloc() can allocate more data
.
Le
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-24
Dan Carpenter
smat
c
h_address: sort pointers in
t
o different rang
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpenter
extra: remove some u
n
use
d
fun
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan
C
arpenter
sm
a
t
c
h
.
h: add t
h
e comparison ho
o
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Dan Carpenter
type_to_str
:
fix a crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-13
Dan C
a
rpenter
ig
n
ore_s
i
de_effe
c
ts: ge
t
_child_rcu() double evaluate
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpenter
implied: use
c
ompar
i
son inf
o
rmation for
implicati
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpenter
s
m
a
tch
.
h: move
stree_stack dec
l
ar
a
tion fro
m
smatc
h
_
s
list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-07
D
an Carp
e
nter
rosenberg:
a
dd __builtin_memset/memcpy()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
pent
e
r
user_dat
a
2
:
handl
e
r
eturned
s
truct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpenter
comparison: up
d
ate a comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Car
p
enter
smdb
.
py: u
p
dat
e
to reflect L
I
M
IT/FILTER
c
ha
n
ges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
r
p
enter
unwind: add some
n
ull checks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
type:
include s
m
a
t
ch_s
l
ist
.
h to prevent a
s
egfault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
extra: don't set
stat
e
s to unknown at the
b
egi
n
ning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpente
r
extra: don't
set t
r
ue fal
s
e stat
e
s if th
e
y
are the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
rpen
t
e
r
function_h
o
oks: add a hack arou
n
d
in compare_db
_
r
eturn_state
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
penter
list
:
ad
d
a comment a
b
o
u
t
regi
s
ter_implica
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nter
param_limit: handle struct m
e
mb
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpent
e
r
s
t
ates:
white space fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Ca
r
p
e
n
ter
c
onditi
o
n
s: ignore known/implied condi
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
p
e
nter
strings: r
e
cord string
a
s
signme
n
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpente
r
struct_assignment:
s
ave a lot
more inform
a
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
C
a
r
penter
param_l
i
mi
t
/
f
ilter: f
i
x
a type bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n Car
p
e
n
ter
comp
a
rison: handle canonical for loops with varia
b
le
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n Carpent
e
r
c
o
mparis
o
n: u
n
signed
can not be
l
ess
than ze
r
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carp
e
nter
fl
o
w: set __cur_stmt and _
_
p
rev
_
stmt inside for
loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpen
t
er
compar
i
son: merging
equivalent st
a
t
e
s is not u
n
defin
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Da
n
Carpent
e
r
comparison: fix
a
n i
n
de
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n
C
a
r
penter
functi
o
n_hooks: fix up db
_
c
ompar
e
_callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carp
e
nter
f
unction_hoo
k
s, debug: print impossible returns
i
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Car
p
enter
h
e
lper: don't stri
p
c
a
sting in get_arra
y
_o
f
fset(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carpe
n
ter
lin
k
s:
e
xport merge_link_s
t
at
e
s(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
r
pent
e
r
helper: make expr_to_str() p
r
in
t
fo
r
ced casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
rpe
n
ter
type: m
a
ke type_to_str()
return
a sname(
)
buffer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carpenter
modification_ho
o
ks: se
t
a
variable
as mo
d
ified when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carp
e
nter
user_data2: tag it if a funct
i
o
n
s
ets para
m
e
ters
t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
rpenter
stack:
cleanup a function pro
t
ot
y
pe
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
d
e
ref_check: ignore
a
rrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
D
an C
a
r
p
enter
type: make sval_type_
m
ax(
)
def
a
ult to "
l
ong long"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpent
e
r
t
y
pe: don't
r
e
t
urn SYM_NODE
types
f
rom
g
et_rea
l
_base_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan
C
arpe
n
te
r
si
d
e_effe
c
ts:
t
he iterat
e
_
a
ll_k
i
nd
s
() macro h
a
s side
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan C
a
rpenter
unreachable: don't complain about
iterate_all_kinds()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
Da
n
Carpenter
flow: fix "foo += !
b
ar;" assignmen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
D
a
n Carpen
t
er
l
i
b
: h
a
n
d
l
e -funsig
n
ed-c
h
ar
o
ption
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Car
p
enter
kerne
l
.
ignore_s
i
de_effec
t
s:
add so
m
e
macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
D
a
n
Car
p
e
n
ter
ind
e
nti
n
g: allow "break; case XX
X
:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Da
n
Carpenter
us
e
r_data2: m
a
rk s
s
canf() output
a
s user dat
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Car
p
e
n
ter
math, rl: fi
x
handin
g
di
v
ision
involvi
n
g
negat
i
ve
num
b
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
sval: fix sv
a
l
_
bino
p
_overf
l
ows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
D
an C
a
rp
e
nter
pre
c
e
denc
e
: complain about "foo << bar - baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
D
an Ca
r
penter
flow
:
handl
e
struct initia
l
i
z
a
t
ion
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Da
n
Carpenter
estate: add
a NULL ch
e
ck in
estates
_
equiv()
commit
|
commitdiff
|
tree
2015-03-03
Da
n
C
arpenter
pa
r
am
_
used: store
w
hen
a
para
m
e
te
r
is used s
o
w
e
don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Ca
r
penter
extra: ignore mor
e
__in_fak
e
_assign da
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
D
a
n Carpenter
c
o
m
p
arison: fix a crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
t
y
p
e: add
an
expr_sign
e
d() function that matches ex
p
r_unsigned()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n Carpenter
smdb
.
py: add fun
c
tions to
show fu
n
ctions implement
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan
C
a
rpenter
e
x
tr
a
: handle temporary shor
t
hand pointers
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n Carpenter
dereferenc
e
s_pa
r
a
m
: look
f
o
r pointer
s
used as an array
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan
C
arpenter
ch
e
c
k_inden
t
ing: warn
abou
t
missing
c
u
rly braces and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
D
a
n Ca
r
penter
param_clear
e
d
: ad
d
a comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpenter
validation:
c
orrect so
m
e
o
utput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
db: buil
d
in
d
exes fa
s
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
slist: fix compile b
r
eakage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Da
n
Carpenter
kernel_print
f
:
silence some false posit
i
ves u
s
i
n
g s
m
atc
h
_st
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Car
p
e
n
ter
strings:
record which strings are being used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
D
a
n Carpenter
u
s
e
r
_data2:
t
u
r
n on skb->data tag
g
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan
Carpenter
db: rename F
I
LTER_VALUE, LIM
I
TED_VALUE, and ADDED_VALUE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpe
n
ter
k
er
n
el_pri
n
tf: si
l
ence s
o
me
"
s
truct soc
k
addr " fa
l
se
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
D
a
n
Carpent
e
r
type: add unio
n
s to
type_to_
s
tr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Car
p
e
nter
ty
p
e_v
a
lue:
s
peed
u
p loading the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
*
new* r
e
turn_cas
t
: complain about
r
eturn -EINVAL
in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
format
_
string: de
l
e
te this be
c
ause
c
heck_kernel_
p
rintf
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
penter
func
t
ion_h
o
oks: add some debug
o
utput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
extra: cleanup db
_
pa
r
am_add_set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
enter
extra
:
separate PARAM_LIMIT
and PAR
A
M
_
FILTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpe
n
ter
funct
i
on
_
hooks
:
don't
take a
s
hortcut for "needless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n
C
a
rpen
t
er
helper: i
n
troduce alloc_state_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Ca
r
pe
n
ter
m
a
t
h: ha
n
dle "i
f
(
l
i
kely(1)) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an
Carpenter
ma
t
h: fix/cl
e
anu
p
d
o_com
p
ar
i
son()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rp
e
nter
cap
p
ed:
do
n
't record single v
a
l
u
es as
capped in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n C
a
rpenter
d
b
:
expor
t
get_
s
tati
c
_f
i
lt
e
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
user_data2: w
r
ong parameter tagged as user dat
a
in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
rosenberg: delete some c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
ros
e
nberg: strip away
some cas
t
i
n
g
(eliminat
e
s a f
a
lse
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rpenter
rosen
b
erg: don't save
unneeded state
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpen
t
er
buf_size: don't
s
a
ve useless
information in
t
he dat
a
base
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpenter
struct_
a
ssign
m
ent: ignore m
o
re fake assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Ca
r
penter
s
l
ist:
f
ix deb
u
g
g
i
ng outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
an Carpent
e
r
param_
c
leared, ro
s
enberg: add un
d
e
rsc
o
red memset/c
p
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
param_fil
t
er/s
e
t: don't record fake
assi
g
nme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
slist,
de
b
u
g
ging
:
don't p
r
int ->possible list if
th
e
re
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan C
a
rp
e
nter
t
y
pe_val: add
more
s
tuff to ignore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Car
p
en
t
e
r
db/reload_parti
a
l
.
sh: chang
e
datab
a
se info for one
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next